"페아노 공리계"의 두 판 사이의 차이