Similar to ゲーデルの不完全性定理

Boolean-valued function

Boolean domain

Substructural logic

Burali-Forti paradox

Principia Mathematica

Presburger arithmetic

Logic level

Variable (mathematics)

Conservative extension

Martin's axiom

Infinity

Infinitary logic

Paraconsistent logic

Propositional function

Metatheory

Metalogic

Mereology

Model theory

Finitary

Finite model theory

Conjunctive normal form

Rosser's trick

Logical formula

Church–Rosser theorem

Schröder–Bernstein theorem

Post's theorem

Rice's theorem

Lusin's separation theorem