Documents First-order Set Theory Chapter 15 Language, Proof and Logic.

Slide 1 Slide 2 First-order Set Theory Chapter 15 Language, Proof and Logic Slide 3 Naïve set theory 15.1.a Two binary (and infix) predicate symbols in the language: …