페아노 공리계를 포함하지 않는 공리계면

불완전성 정리가 성립하지 않음?


항상 궁금했노