複数辞典一括検索+- (非使用)広辞苑大辞林新辞林大辞泉古語ＮＨＫ 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざ- (非使用)広辞苑大辞林新辞林大辞泉古語ＮＨＫ 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざ- (非使用)広辞苑大辞林新辞林大辞泉古語ＮＨＫ 日本語発音アクセント辞典日国明鏡国語辞典新明解漢字源必携類類義使分大シ英辞郎研究社新英和大辞典ジーニアス英和大辞典ことわざタイプ‐りろん【タイプ理論】🔗⭐🔉タイプ‐りろん【タイプ理論】 ラッセルが、集合論のパラドックスを解決するために提案した理論。タイプnの存在者にはタイプn+1の述語のみが有意味に帰属されるとした。 ⇒タイプ【type】 広辞苑 ページ 11922 での【タイプ理論】単語。
