공리
공리1. 같은 것과 같은 것들은 서로 같다.2. 같은 것들에 같은 것을 더하면 그 합은 서로 같다.3. 같은 것들에서 같은 것을 빼면 그 차는 서로 같다.4. 서로 포개어지는 것들은 서로 같다.5. 전체는 부분보다 크다.