Philosophical logic
Branches of philosophy
Set theory
Veracity
Z notation
Axiom
Truth
Naive set theory
S
Logic
Mathematics
Mathematical logic