Z notation
Set theory
Metalogic
Zermelo–Fraenkel set theory
Structuralism
Object theory
Finite set
Edward N. Zalta
S
Mathematical logic
Mathematics
Logic