空集合があるなら空写像もあるの? (52レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
32: 2025/09/08(月) 13:44:17.89 ID:BCTakZLK(1/2)調 AAS
空の定理/公理などがあるわけではなく、
メタ(数学)的な立場から空としているわけですね。
で、集合論や論理すらなくても困らないほどなにもないと。
無数学と空数学の違いですね、問題は。なにもないけど数学だけはある、と。
ブートストラップとしての数学。
33: 2025/09/08(月) 14:03:06.93 ID:BCTakZLK(2/2)調 AAS
メタ数学的立場から、数学でなければならないという要請だけがある「空数学」。
そのように考えてしまうと、「数学でなければならない」ということはclassであり、
そこにあらわれている「数学」なんていうことも無定義用語とすれば、空のclassに属していれば「空数学」。
空のclassだけの数学。
一元体や絶対数学への別アプローチ(集合(class)論的アプローチ)かもしれない。と、わたしは妄想しました()
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.014s