접근서지만 확인
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of ComputationsJ. Krajíček, P. Pudlák · 1989Journal of Symbolic Logic 54(3), 1063–1079쪽 (1989)명제 증명 체계, 일차 이론의 무모순성, 계산 복잡도 사이의 관계를 다룬 논문이다. 다른 모든 체계만큼 효율적인 「최적의 증명 체계」가 있는가라는 미해결 문제와 관련해, 2-3 의 증명 복잡도 글이 인용한다.
확인:원문은 확인하지 못함. 서지는 DOI 등록 기록으로, 최적 증명 체계 문제가 미해결이라는 점은 영어 위키백과 「Proof complexity」 문서로 확인.