Intuitionist mathematics fundamentally requires constructive proof; asserting existence without cons...
This proposition has not been edited since the history system was added.