Similar to クレイグの補間定理

Cut-elimination theorem

Ackermann function

Arity

Type theory

Domain of discourse

Successor function

Tautology (logic)

Church–Rosser theorem

Heyting algebra

Polyadic algebra

Principia Mathematica

Frege's theorem

Mereology

Finite model theory

Lusin's separation theorem

DPLL algorithm

Smn theorem

Algorithm

Herbrand's theorem

Goodstein's theorem

Gödel's completeness theorem

Gödel's incompleteness theorems

Tarski's undefinability theorem

Paris–Harrington theorem

General recursive function

Löb's theorem

Compression theorem

1 + 1 + 1 + 1 + ⋯