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

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

General recursive function

Compression theorem

Deduction theorem

Cantor's theorem

Kleene's recursion theorem

Gödel's speed-up theorem

Kőnig's theorem (set theory)

Compactness theorem

Frege's theorem

Löwenheim–Skolem theorem

Annales de Gergonne

P-adic Teichmüller theory

RSA cryptosystem

Vieta jumping

Witch of Agnesi