「元 (数学)」の版間の差分
削除された内容 追加された内容
Family27390 (会話 | 投稿記録) タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集 |
|||
31行目:
[[形式論理]]に基づく現代的な[[集合論]]は、（[[相等関係]] {{math|{{=}}}} 以外に）一つの{{仮リンク|述語 (数理論理学)|label=述語|en|Predicate (mathematical logic)}}記号（二項述語 {{math|∈}}）を含む一階述語論理で記述される<ref>Voir {{Cori-Lascar II}}, chapitre 7, p. 113-114 notamment</ref>。
そのような記述法の
{{quotation|
: <math>x\in M</math>}}
という式に翻訳される。
[[フェリックス・ハウスドルフ|ハウスドルフ]]は、このような記述自身は
{{quotation|« on pourra objecter qu'on a défini ''idem per idem'' voire ''obscurum per obscurius''. Il faut considérer qu'il n'y a pas là une définition mais un procédé d'exposition, une référence à un concept primitif familier à tous (...) »<ref>{{Ouvrage
| titre = ''Set theory''
| |||