3 ms·
> That's statement is true of any abstract axiomatic system, and mathematics (or, rather, any mathematics) is an abstract axiomatic system, therefore it is true
by nyokodo 5y ago
> That's statement is true of any abstract axiomatic system, and mathematics (or, rather, any mathematics) is an abstract axiomatic system, therefore it is true of any mathematics
Are you referring to incompleteness theorem? If so, that’s about proof not epistemology unless I’m quite mistaken. Whether you can prove something is true is not the same as saying it’s entirely subjective. In fact as incompleteness is a proof of a universal truth then using it as proof of subjectivism is incoherent.
- dragonwriter 5y ago> Are you referring to incompleteness theorem? No, I’m referring to the fundamental nature of a priori reasoning from axioms as distinct from empirical exploration of reality. Mathematics is itself the first, though it becomes useful in connection with the second.