Besonderhede van voorbeeld: 1973125019243074651

English

Today one could say that there are more mathematical truths (an uncountable number) than there are proofs (a countable number), and thus there are not enough proofs for all truths.

Finnish

Nykyään voitaisiin sanoa, että matemaattisia totuuksia on enemmän (ylinumeroituva määrä) kuin todistuksia (joita on vain numeroituva määrä) ja siksi kaikille totuuksille ei riitä todistusta.