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

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

Artinian ring

Artin–Schreier theory

Artin reciprocity

Artin–Rees lemma