今日の献立

666：のろうゐるす：2025/10/02(木) 16:58:31: >>659 解決から2か月もしないうちにmath annに掲載されとった。速い。
ちなみに3ページ目の集合であるか否かについての議論は、たまにある
無害だけど無意味なものだな。任意の一自由変数述語 P(r) について
inf{ r in R : P(r) }はwell-defだ。P(r)の実現の仕方が集合と
なっておらずとも、{ r in R : P(r) }は分出公理により集合である。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板