이 것은 '검증 가능 계산'에 대한 최근 결과와 그곳에서 발생할 수 있는 가능한 함정에 대한 3부작 시리즈의 두 번째 부분입니다. 이 포스트는 독립적으로는 거의 의미가 없으므로 첫 번째 부분부터 시작할 것을 권장합니다. 이전 포스트에서는 수동의 개념을 소개했는데, … 계속 읽기 거짓 문장을 증명하는 방법? (파트 2)