Separations between proof methods (classical vs. constructive) represent different mathematical fram...
This proposition has not been edited since the history system was added.