산술에서 방정식 증명하기

프레즈버거(Presburger) 산술의 방정식 버전의 공리를 지정합니다.

프레즈버거 산술로 이중 부정의 정리를 증명합니다.

완전한 증명의 보조 정리 목록을 표시합니다.