[일반] 술어논리를 이용해서 공리로부터 모든 정리를 다 증명할 수 있음?

[익명(61.77)]

이거랑 관련된 자료 있으면 알려주셈

[수갤러 1(112.223)]

불완전성정리 검색

[익명(61.77)]

그거 제외하면 모든 정리에 대해 형식적 절차가 존재하는거임?

[수갤러 2(1.239)]

이미 증명된 정리라면 가능하겠지

[ultraproduct(ultraproduct)]

정리야 당연히 증명이 되는 걸 정리라고 부르니까 당연한거고