整數公理

정수공리

정돈할 정, 자주 수, 공변될 공, 나무결 리