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

Model theory

Finitary

Finite model theory

Lambda calculus

Conjunctive normal form

Rosser's trick

Logical formula

Logic programming

Church–Rosser theorem

Schröder–Bernstein theorem

Post's theorem

Rice's theorem

Lusin's separation theorem

Einstein's constant

Anscombe's quartet

Anderson–Darling test

Anne's theorem

Egan conjecture

Iitaka dimension

Yates's correction for continuity

Jessen's icosahedron

Hjelmslev's theorem

Chern–Gauss–Bonnet theorem

Generalized Stokes theorem

Generalized Riemann hypothesis