Principles of constructive mathematics
- Every mathematical "object" must be explicitly constructed.
- Existential qualifier requires a constructive proof.
- The Law of excluding middle is not valid (a proof must be shown)
- The Law of indirect proof is not valid (a proof must be given)
NOTis merely asserted (not proven)
Note: See TracWiki for help on using the wiki.