Logic and mathematics seem to quantify over abstract objects; rejecting them undermines the formaliz...
This proposition has not been edited since the history system was added.