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

CBS

CESNUR

Congrès Internationaux d'Architecture Moderne

CIPA (organization)

Concurrent Versions System

13 (number)

19 (number)

40 (number)

70 (number)

1349 (band)

1,000,000

Paris–Harrington theorem

Knuth–Bendix completion algorithm

Goodstein's theorem

Löb's theorem

Square root of 2

4-manifold

Axiom (computer algebra system)

Institut des Hautes Études Scientifiques

L'Intermédiaire des mathématiciens

P-adic number

Society for Industrial and Applied Mathematics

Niels Henrik Abel

1901

1916

1920

1922

1934