Philosophical stance that asserts mathematics is a creation of the human mind. Truth equals provability via mental construction.
- Logic: Intuitionistic (Rejects P∨¬P and ¬¬P→P without witness).
- Infinity: Accepts potential infinity; rejects actual infinity as a completed totality.