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

CIPA (organization)

Concurrent Versions System

13 (number)

19 (number)

40 (number)

70 (number)

1349 (band)

1,000,000

Paris–Harrington theorem

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

3rd millennium

WWE

Dirlewanger Brigade