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

Gödel's completeness theorem

Algorithm

Herbrand's theorem

Tarski's undefinability theorem

Paris–Harrington theorem

Knuth–Bendix completion algorithm

Goodstein's theorem

Löb's theorem

Ω-consistent theory

Maximum length sequence

Curry–Howard correspondence

Game semantics

Recursive definition

Foundations of mathematics

Mathematical logic

Constraint logic programming

Fixed-point combinator

Concurrent constraint logic programming

Concurrent logic programming

Mizar system

Lambda calculus

Logic programming

DPLL algorithm

Smn theorem

Cut-elimination theorem

Craig interpolation

Gödel numbering