>>67 補足

(引用開始)
スレ61 https://rio2016.5ch.net/test/read.cgi/math/1550409146/870
(抜粋)
870 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/03/05(火) 11:51:49.63 ID:xYDWPnCx [6/15]
（参考）
https://togetter.com/li/949306
数学と公理的集合論ZFC togettet 2016年3月13日
「ZFCの中で普通の数学をどのように表現するか」
「数学は形式化されなければならないのか」
という感じの話です。
(抜粋)
発端
立命館大学大学院理工学研究科基礎理工学専攻数理科学コース新M2マン @Rits_math_M2
新歓でちょっとした数学の記事を書くんだけど、「数学がZFCから作られていることを実感してもらうためにZFからペアノの公理のモデルでも構成するか」とか思ってたの、難しすぎ感あるな。
2016-03-12 23:00:39
(引用終わり)

これ多分、立命の研究室に４年が来ての、新歓だと思うが
”ZFからペアノの公理のモデルでも構成するか”で
二つのコースがあって
１）一つは、前スレ61で下記に示すように、ZF中で正則性公理を使うコース
　スレ61 https://rio2016.5ch.net/test/read.cgi/math/1550409146/901-902
　スレ61 https://rio2016.5ch.net/test/read.cgi/math/1550409146/936
２）も一つは、ピエロちゃんの、ZF中で正則性公理を使わないコース

”両方できるぜ〜！”と、新歓で紹介すれば、恰好いいよね（＾＾
ピエロちゃん、”正則性公理を使わないコース”の証明がんばれぇ〜！（＾＾