Similar to タルスキの定義不可能性定理

Conservative extension

Martin's axiom

Infinity

Infinitary logic

Paraconsistent logic

Propositional function

Metatheory

Metalogic

Model theory

Finitary

Finite model theory

Lambda calculus

Conjunctive normal form

Rosser's trick

Logical formula

Logic programming

Gödel's speed-up theorem

Church–Rosser theorem

Schröder–Bernstein theorem

Post's theorem

Rice's theorem

Lusin's separation theorem

Einstein's constant

Artin–Rees lemma