Gödel's Incompleteness Theorems

Any sufficiently powerful formal system contains true statements that cannot be proven within it. Broke Hilbert's dream of a complete mathematics.

Open source ↗