複数辞典一括検索+- (非使用)広辞苑大辞林新辞林大辞泉古語ＮＨＫ 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざ- (非使用)広辞苑大辞林新辞林大辞泉古語ＮＨＫ 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざ- (非使用)広辞苑大辞林新辞林大辞泉古語ＮＨＫ 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざかいけい-りろん [5] 【階型理論】🔗⭐🔉かいけい-りろん [5] 【階型理論】 〔theory of types〕 〔論〕 ラッセルが集合論のパラドックスを解決するために，存在者の領域とそれを表現する述語に階層構造（タイプ）を設けることを提唱した理論。タイプ理論。 →ラッセルのパラドックス 大辞林 ページ 140665 での【階型理論】単語。
