25/11/05 20:35:03.06 BZV1IQOW.net
これいい （＾＾
URLﾘﾝｸ(mathlog.info)
Mathlog 251030
あっとまーく
大学数学基礎
解説
公理的集合論はやらなくてもよい
この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。
はじめに
非常にキャッチー(?)なタイトルをつけてしまったので初めに言っておくと,私は断じて「基礎論アンチ」ではありません.なんなら比較的好きで,楽しく勉強できるタイプです.
この記事は基礎論のネガティブキャンペーンではありません.
(そういった記事を期待されている方にとっては面白くない内容だと思います.)
実際,私は今年の夏休みのほぼすべてを公理的集合論の勉強に捧げました.
具体的にはZFC公理系を記述し,そこから集合演算,写像,数(自然数,整数,有理数,実数)の構成を行いました.
先日それがひと段落したのですが,実際やってみて
「別にやらなくてもよかったなぁ」
と,理由を持って思うことができました.
折角ですからその理由と,それに至った経緯を読み物として残しておこうと思います.
URLﾘﾝｸ(mathlog.info)
Mathlog 2020年12月19日
めいぜんおーえす
大学数学基礎
議論
文献あり
ZFCの公理一覧と誤解しやすいポイント
はじめに
比較的軽度の誤解をしてる人向けです。
この記事ではZFCの公理一覧と誤解しやすいポイントについてまとめています。
ZFCの公理一覧
まず、論理式の略記と自由変数についてです。