orubbligt axiom som dem Enclides uppstält.