Leibniz's universal characteristic and Frege's logicism show that geometry is itself reducible to mo...