> then mathematics is fallible Wasn't this essentially the conclusion of Gödel. Math, based on a set of axioms, will either have to accept that there are thing

> then mathematics is fallible Wasn't this essentially the conclusion of Gödel. Math, based on a set of axioms, will either have to accept that there are things that are true but can't be proven, or that there are proofs that aren't true.