= 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)