「保存拡大」を解説文に含む見出し語の検索結果(1～10/28件中)
保存拡大（ほぞんかくだい、英語: conservative extension）は数理論理学において、形式言語による理論同士の関係の一つであり、定理の証明を便利にするかもしれないが、決して元の...
保存拡大（ほぞんかくだい、英語: conservative extension）は数理論理学において、形式言語による理論同士の関係の一つであり、定理の証明を便利にするかもしれないが、決して元の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/02 02:43 UTC 版)「クラス (集合論)」の記事における「公理的集合論におけるクラス」の解説ZFではクラスの...
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義され...
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義され...
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義され...
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義され...
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義され...
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義され...
数理論理学において、論理式がある構造（モデルとも呼ばれる）のクラスについて絶対的であるとは、そのクラスに属する各構造において同じ真理値を持つことをいう。また、式が2つの構造を含むクラスに対して絶対的で...
< 前の結果 | 次の結果 >
>>
「保存拡大」の辞書の解説