Intuitionism

Intuitionism

Asserts mathematics is a creation of the human mind. Truth equals provability via mental construction.

• Logic: Intuitionistic (Rejects $P\vee \neg P$ and $\neg \neg P\to P$ without witness).
• Infinity: Accepts potential infinity; rejects actual infinity as a completed totality.

Link to original