Mathematical Logic

Enderton - A Mathematical Introduction to LogicPDF

Induction

Closed sets under a function

Induction principle for closed sets

Construction of a wff using sentence symbols and applications of formula-building operations

Daniel Schwartz's answer to What does it mean for a set to be closed under an operation? Are all real numbers closed under subtraction? - Quoraqr.ae