语言
没有数据
通知
无通知
あたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel
（どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class)
(1)物をたち切ること。 切り離すこと。
ある事柄について論じ， 結論や判断を下すこと。
クーデター合理論（クーデターごうりろん）とは、日本の右翼・民族派の政治思想の一つ。 1960年1月に右翼思想家で国家社会主義運動家の小島玄之が唱えた理論である。前年11月の全学連の「国会乱入事件」を受けて、自衛隊によるクーデターの可能性を考察したもので、小島が主宰する『思想研究』創刊号（1960年1月）に発表した。
論理合成（ろんりごうせい、英: logic synthesis）は、抽象的な回路の動作に関する記述（レジスタ転送レベルなど）から論理回路の実装設計を行う工程である。一般にVHDLやVerilogなどのハードウェア記述言語が使われる。ツールによっては、PAL や FPGA といったプログラマブルロジックデバイス向けの
咬合理論（こうごうりろん、英: Principle of occlusion）とは、人間の噛み合わせの構造や機能を明らかにして、それらを理論として構築したものである。 咬合理論は、人間の噛み合わせの構造や機能を明らかにして、それらを理論として構築したものであるので、すべての歯科治療に関係し、歯科医
搜索 
