Formal proofs

Home > Mathematics > Set Theory > Set Theory and Logic > Formal proofs

Understanding the process of creating formal proofs of statements and the use of axioms and inference rules.