Even Brouwer acknowledged that constructivism cannot be formally proven within any single system, un...
This proposition has not been edited since the history system was added.