(일반) (편집) (이동) (삭제) (복원) (r1) (설정) 2025-03-17페아노 공리계 | r2 | +68 | ✅admin | 편집 | 16:19:392023-06-03페아노 공리계 | r1 | +2245 | ✅admin | 편집 | 22:27:34 이전 리비전 r2 | 2025-03-17 16:19:39r1 | 2023-06-03 22:27:34 이후 리비전 r2 | 2025-03-17 16:19:39r1 | 2023-06-03 22:27:34 비교
