Laws of Form
Logic
Mathematical logic
Abstraction
Identity
Distinction
G. Spencer-Brown
Structure
Mathematics
Algebra
Boolean algebra