Besonderhede van voorbeeld: 5298551070086319715

English

He published A formulation of the simple theory of types in 1940 in which he attempted to give a system related to that of Whitehead and Russell 's Principia Mathematica which was designed to avoid the paradoxes of naive set theory.

Korean

그는 1940 년 그는 어떤 시스템 화이트 헤드와 러셀의 관련주고 시도 유형의 간단한 이론의 공식 출판 '원리 Mathematica는 순진하게 설정 이론의 모순을 피하기 위해 고안되었습니다들.