Claiming independence from classical/constructive logic is misleading—predicativism presupposes spec...
This proposition has not been edited since the history system was added.