Algebra
Order
Structure
Modular arithmetic
Approximately finite dimensional C*-algebra
Gödel–Gentzen negative translation
Abstract algebra
Group theory
Mathematics