madness
- 813
- 69
Any assumptions (axioms of a system) are propositions themselves, and any truth within a certain model depends on these propositions and is hence relative to them. If it turns out that one set of axioms is correct (corresponds to reality?) and all others are incorrect, then it could be said that any proposition that can be logically derived from the axioms of the system is absolutely true. But then the Godel Incompleteness theorem shows that there are still propositions within that system that cannot be shown to be absolutely true or false by the axioms of the system. So even if there was one model of truth that was correct, we would not be able to show whether certain things are true or false.