必要な気がしたので、集合論の記号・言葉、定理などのカンペをつくりました。忘れたりするものがかなりあるので。タイトルは大げさか。さーせん。 集合論以前 カンマ ( , ) は 'かつ' (and) とおなじ意味 ∀x(p)\forall x(p)∀x(p)・・・すべてのxに対してpが成り立つ ∃x(p)\exists x(p)∃x(p)・・・pが成り立つようなxが(少なくとも一つ)存在する 基礎 集合・・・範囲のはっきりした集まり 元、要素・・・集合の中にはいっているもの a∈A a \in A a∈A・・・aは集合Aに属する、含まれる 有限集合・・・有限個の元のみもつ集合 無限集合・・・無限個の元をもつ集合 よく使われる記号 N\mathbb{N}N・・・自然数全体の集合 Z\mathbb{Z}Z・・・整数全体の集合 Q\mathbb{Q}Q・・・有理数全体の集合 R\mathbb{R}R