Set theory
Principia Mathematica
Science
Extensionality
Axiom of extensionality
Intensional
Intension
Intuitionistic type theory
Deductive lambda calculus