Hilbert's ideal/real distinction shows real mathematics needs consistency to avoid trivializing all ...
This proposition has not been edited since the history system was added.