Historical justification for mathematical theories (classical, intuitionistic) depends on empirical ...
This proposition has not been edited since the history system was added.