nLab
foundations and logic

Logic and foundations

Main articles

Axiomatic set theory

Basic axioms and notions

III

Model theory

Other