/sci/ - Science & Math

>>8918918

>>8752064
No. But a lot of it can.

>>8513716
o hai

If one religion is false, then all religions are false.

Prove Gödel wrong. (protip, (You) can't)

>The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (i.e., any sort of algorithm) is capable of proving all truths about the relations of the natural numbers (arithmetic). For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that such a system cannot demonstrate its own consistency.