Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
Normal
No. They are not assumptions. They are called axioms. Their proof is SELF-EVIDENT hence formal language becomes unnecessary.But if you don't like math, how about set theory -- the foundation of propositional logic. I understand what you are saying but just because the proof of a proposition (like the axiom a=a) cannot be phrased in formal language doesn't mean there is no proof, now, does it?
No. They are not assumptions. They are called axioms. Their proof is SELF-EVIDENT hence formal language becomes unnecessary.
But if you don't like math, how about set theory -- the foundation of propositional logic. I understand what you are saying but just because the proof of a proposition (like the axiom a=a) cannot be phrased in formal language doesn't mean there is no proof, now, does it?
