Frege's formal logic successfully reconstructed Euclidean geometry using only logical operators and ...
This proposition has not been edited since the history system was added.