- #36
- 24,488
- 15,033
I see, so each science has its dead bodies in the basement ;-)). Anyway, math can be very weird, particularly in view of Goedel's results, which has killed Hilbert's hope for a fully self-consistent axiomatic approach in the sense that you cannot prove the consistency of any sufficiently interesting axiomatic system within this system itself.