András Zsák
Books:
PT Johnson: Logic and set theory
D. van Dalen Logic and Structure
A Haynal and P. Hamburger Set theory
T. Jech Set Theory
(J. Longley: Castles in the air)
Icke Moerdijk, Jeep van Ooslen: Sets, Models and Proofs
Propositional Logic
Well-orderings and Ordinals
Function
Definition by recursion
Subset Collapse
Order on Well-ordered sets
Ordinal
Poset
Zorn’s Lemma
Every vector space has a basis
Well-ordering Principle
Choice - Zorn - Well-Ordering
First-Order Predicate Logic
Peano Arithmetic
Zermelo-Fraenkel Set Theory