# Constructive Mathematics

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)
`NOT`

is merely asserted (not proven)

Last modified
9 months ago
Last modified on Jan 12, 2020, 4:34:56 AM

**Note:**See TracWiki for help on using the wiki.