世界大百科事典（旧版）内の分岐タイプ理論の言及
【タイプ理論】より
…こうして，個体集合はそれ自身個体ではなく，個体集合の集合はそれ自身個体集合ではないことになる。しかし彼は，〈エピメニデスのパラドックス〉を初めとする意味論的パラドックスもこの原理にもとづいて解決されるべきだと信じたため，最初提出された理論は分岐タイプ理論ramified theory of typesというきわめて複雑なものであった。彼はあとで意味論的パラドックスを別に扱うべき異種のものであることを認めてこの理論を単純タイプ理論simple theory of typesに簡単化し，《プリンキピア･マテマティカ》の第2版でこれを採用した。…
※「分岐タイプ理論」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」