4.4 괴델의 불완전성과 결정불가능성은 고정된 형식연역체계에 한정된 어떠한 정보처리체계도 한계를 지니고 있음을 증명함