Predicate logic
Functions and mappings
Elementary mathematics
Algebraic structures
Function
Axiom
Ring
Predicate
S
Mathematics
Logic
Mathematical logic