バカ「選択公理は証明も反証もできないから認めていい」←天国は？

**１３２人目の素数さん** · 2021/07/29(木) 02:52:39.13

天国の存在は証明も反証もできない
だから選択公理を認めるなら天国の存在も認めないと主張に一貫性がないよね

**１３２人目の素数さん** · 2021/07/29(木) 02:54:23.85

選択公理って宗教だよな
証明も反証もできないのをいいことに好き勝手言ってるだけ

**１３２人目の素数さん** · 2021/07/29(木) 04:52:48.39

正しいことは自明です。信じるもののみ救われます。

**１３２人目の素数さん** · 2021/07/29(木) 16:41:40.67

洗濯氷

**１３２人目の素数さん** · 2021/07/29(木) 20:33:53.79

証明も「反証も出来ないから認める」のではない
感覚的には明らかだから認める、それだけのこと

連続体仮説は感覚的に自明とは言い切れないから公理に含めていない

**１３２人目の素数さん** · 2021/07/29(木) 21:26:36.74

>>5
選択公理が感覚的に明らかwwwwww
超越者さんですか？ひょえ〜w

**１３２人目の素数さん** · 2021/07/29(木) 22:03:50.97

俺には見える

**１３２人目の素数さん** · 2021/07/30(金) 17:35:51.37

長渕のシャブでゲソついた感じ、だと不満の清原

**１３２人目の素数さん** · 2021/07/30(金) 18:51:08.31

>>6
あー、よくいるねこういうの
「こう言える俺ちゃんと理解してるだろ？」みたいな「深く考えてる俺」に酔ってるやつ

実際には「偉い人も疑ってた！否定する立場もあるし全然自明じゃないんだ！」という権威主義というか虎の威を借る狐というか

**１３２人目の素数さん** · 2021/07/30(金) 18:57:39.44

まあ選択公理に関しては感覚的かどうかよりも、便利だから仮定するんだと思うけどね

具体的に構成される対象(ある特定のベクトル空間など)に関しては、選択公理の成否に関係なく、選択公理を仮定して建設された一般理論(基底の存在から導かれる定理など)がそのまま適用できたりするわけで

**１３２人目の素数さん** · 2021/07/31(土) 08:49:08.51

論理式で書くことのできない「天国」を、選択公理と同列に考えるな

**１３２人目の素数さん** · 2021/07/31(土) 12:03:56.77

>>11
書けないと言うのはお前の憶測だろ
例として神の公理なら「全ての行為xついて神はxが可能」と書ける
一つ一つ∀とヨで表現すればいい

**１３２人目の素数さん** · 2021/07/31(土) 12:06:35.44

選択公理を擁護してる奴って論法が宗教と同じなんだよな

**１３２人目の素数さん** · 2021/07/31(土) 13:15:31.69

選択公理を信じることで得られる利益は大きい
神を信じて得られる利益が大きいなら信じたらいいし、実際宗教はそういうもの

**１３２人目の素数さん** · 2021/07/31(土) 13:20:34.59

目刺しの定理

**１３２人目の素数さん** · 2021/08/01(日) 00:32:30.40

>>12
定義が違えば別もの。
まずは定義してくれよ。

**１３２人目の素数さん** · 2021/08/01(日) 00:34:08.23

認めていいと認めなければならないが区別出来るようになってから出直せ

**１３２人目の素数さん** · 2021/08/02(月) 09:17:25.55

地球人🌍の、反証出来なきゃ証明出来た
と云う論法はよく耳にする

**１３２人目の素数さん** · 2021/08/02(月) 15:47:32.14

>>1
>天国の存在は証明も反証もできない

バカおつ。全然違う。
選択公理は「証明も反証もできない」事自体が厳密に証明されている。
天国のように「あるかないかどっちか分からない」という話じゃない。

>>5
>感覚的には明らかだから認める、それだけのこと

その通り、むしろ「証明も反証もできない」事が「明らかだと認めていい」
事の一つの定義とも言える。
即ち、ぶっちゃけて言えば、基礎論的な微妙な問題は、
数学をやる上で何も心配する必要がない(数学の本質に関わってこない)
という事

**１３２人目の素数さん** · 2021/08/03(火) 12:37:10.60

>>12

それで「書けている」などと思ってんじゃねえよ。
「行為」、「神」がZFの中にない言葉だろうが。

**１３２人目の素数さん** · 2021/08/04(水) 13:38:43.30

>>20
お馬鹿さん来ましたね。
それを言ったら圏もそうです。
そもそもZFで集合は未定義語ですし。
未定義語を認めずに数学は成立しません。

**１３２人目の素数さん** · 2021/08/04(水) 13:43:51.22

プログラムやったり基礎論やってると選択公理の仮定の強さを感じることは増える。

**１３２人目の素数さん** · 2021/08/05(木) 15:39:50.95

実際、選択公理は神じゃないと分からないことを人間が知れると仮定してるからな
実質的に神の存在を仮定してる

**１３２人目の素数さん** · 2021/08/05(木) 15:42:30.55

バナッハタルスキーのパラドックスとかまさに神の御業って感じ

球体を有限個に分割して組み直すと、元の球と同じものが二つできる

こんなことは神にしかできない

**１３２人目の素数さん** · 2021/08/05(木) 16:19:38.58

聖書に似たような話がある。

**１３２人目の素数さん** · 2021/08/05(木) 19:35:32.67

>>24
>バナッハタルスキーのパラドックス
出たら目からうまれた悪魔の所業

**１３２人目の素数さん** · 2021/08/05(木) 20:56:44.75

＞天国の存在は証明も反証もできない

ほんとか？

反証できない天国の存在なら認めてもいい

しかし、大多数の人が望むような天国は
それこそ簡単に反証できそうな虫のイイ想定
だとおもうがね

**１３２人目の素数さん** · 2021/08/05(木) 21:47:54.10

死後の世界なんてどうとでも設定できるわ。
そんなもん現世の理屈で証明も反証もできるわけがない。

**１３２人目の素数さん** · 2021/08/15(日) 16:24:44.81

>>9
まさにこれ

分かってないこと誤魔化して、深いこと考えてるみたいに装ってる馬鹿

**１３２人目の素数さん** · 2021/08/31(火) 21:35:41.72

天国の定義は？

**１３２人目の素数さん** · 2021/08/31(火) 23:52:09.24

>>1
>選択公理は証明も反証もできないから認めていい
正しくは「選択公理はZFで証明も反証もできないから(ZF+(Cの肯定))と(ZF＋(Cの否定))どちらも認めていい」

**１３２人目の素数さん** · 2021/09/01(水) 00:02:41.17

つまり、どうでもいいってことかな

**１３２人目の素数さん** · 2021/09/01(水) 00:22:52.66

その割には選択公理を認めてる勢力が多いよな
否定派はほぼゼロなんじゃないか

**１３２人目の素数さん** · 2021/09/01(水) 00:23:12.38

可算選択公理だけでいいんじゃないか

**１３２人目の素数さん** · 2021/09/01(水) 10:21:27.75

なんで？

**１３２人目の素数さん** · 2021/09/01(水) 10:26:17.71

ご都合の良い公理を使って得られる定理とか価値があるのだろうか？

**１３２人目の素数さん** · 2021/09/01(水) 11:57:23.35

都合の悪い公理って例えば何？

**１３２人目の素数さん** · 2021/09/05(日) 03:07:13.52

数学の公理なんかWell-definedで自己矛盾起こしてなければどんな公理でもOKだろ

あとは｢その公理系は面白いか｣だけ
面白ければ研究されるし面白くなければ数学史の闇に溶けて見えなくなる

**１３２人目の素数さん** · 2021/09/05(日) 03:25:45.50

自己言及の不動点近傍に集まる情報

**１３２人目の素数さん** · 2021/09/06(月) 07:18:04.50

>>32
うんお前がね

**１３２人目の素数さん** · 2021/09/06(月) 12:43:51.46

選択公理を【認める】って表現するから混乱してるんだろおそらく

たんに「〇〇の公理」って書かれていれば混乱しなかったはず

公理とはなにか　をまず調べるといいよ

**１３２人目の素数さん** · 2021/09/06(月) 17:23:27.40

選択公理が正しいことは自明じゃないからZFとZFCは別の公理系として扱われているわけだが。
たとえばバナッハ＝タルスキーのパラドックスの証明は（現時点では）ZFのみでは証明不可能だろ

**１３２人目の素数さん** · 2021/09/06(月) 23:59:29.85

>>42
それは、バナッハ＝タルスキーのパラドックスが間違ってるからだよ

**１３２人目の素数さん** · 2022/08/19(金) 22:10:44.91

有限集合の場合に成り立つ性質を無限集合についても同じ形で成り立つとする
という御都合主義的（楽観的）直感主義に基づいて、昔はいちいち公理だなんて
仮定せずに、そんなの当たり前でいうまでもないぐらいの気分で、まるで意識せずに
使われてた（闇で導入されていた）のだが、あるとき実はこれは公理（つまり
他の公理からでは導けない命題なんだ！）と云う認識がされてからは、公理に
祭り上げられた。それを認めない流儀もあるが、すでに蓄積された数学の多くの
成果は選択公理を密輸入して使っていたので、ガラガラポンにはできるものでは
ないだろう。ユークリッド幾何では平行線公理を賢明にも公準として述べた上で
幾何学の論理を組み立てていたわけで、なんと偉大なことだろうかと思う。

**１３２人目の素数さん** · 2022/08/24(水) 11:06:32.26

集合Xにある性質を満たす元が含まれて居れば、その1つを取りだしてこれる
というのは、それをどうやって取りだしてくるかという手順を不問にして
話を先に進めているものであって、便利だが具体性に欠けるものだ。
そのような手順（アルゴリズム）が存在しない場合だってありうる。
集合Xの元で性質Pを満たすものをすべて集めてXの部分集合Yを作ると、
などというのはさらにそれに輪をかけて現実的ではない。

**１３２人目の素数さん** · 2022/09/02(金) 07:21:52.97

有神論の公理：「神は存在する」

無神論の公理：「神は存在しない」

唯一神教：「神は存在して唯一である」

多神教：「多くの神が存在する」

滅神論：「神は死んだ」

**１３２人目の素数さん** · 2022/09/02(金) 12:51:50.29

ある数学理論は、(1)矛盾がないこと、(2)語るに価するほどに面白い、ならOKだ。
選択公理を含めた理論、含めない理論は両立しうる。

**１３２人目の素数さん** · 2022/09/02(金) 12:54:48.31

>>46
仏教「神は存在しても、存在しなくてもいい」
(心の安寧は神の存在とは無関係)

**１３２人目の素数さん** · 2022/09/02(金) 15:33:25.93

>>44
公理なのに証明とかなんとか騒がれてるからなんでだろうと思ったけど
そういう歴史的な経緯があったのね

ようは後だしで公理に格上げされたからモメてるってことか

**１３２人目の素数さん** · 2022/09/03(土) 09:42:17.61

神の存在は人間の思考の癖あるいは、言語の性格から由来すると思われる。

主客（主語）があって、その動作としての動詞があって、動作の対象がある。

あるいは、原因があって結果が生じるという考え方（因果律）。

そうなると、人間には（容易には）原因の正体がわからない場合でも、
その原因となるものが存在すると考えれば、それが神だったりするわけだ。
「雨が降る」も、雨自体は無生物で意志を持たないとすれば、その雨を
降らせた存在が居るということになり、それが神であるなど。
人が意図してやったのではないが、何かが起こったのだとすれば、
その主格として森羅万象を司る存在が為した業であるとすれば、その
存在とはエスである。

**１３２人目の素数さん** · 2022/09/07(水) 09:42:16.17

今、平面内の正方形領域S（ただし辺は含まず）
として、S内の通常の意味での二つの「点」PとQに対して
それらをとおる通常の意味での直線が必ず1本存在するから
それを「直線」と呼ぶことにする。S内の普通の意味での点も「点」とする。
つまり「直線」とは領域S内に制限された普通の直線・線分のことだ。
2つの異なる「直線」L1、L2はS内で交点を持てばそれは1つに限る。
三角形なども通常の平面幾何と同様に定義できる。
しかし、この幾何学では平行線公理が成り立たない。
S内の「直線」Lとその直線に含まれない「点」Pを与えたときに、
Pを通りLと交わらない「直線」は無数に引ける。
これは、この幾何学がユークリッド幾何ではないことを意味する。
では双曲幾何になるのだろうか？

**１３２人目の素数さん** · 2022/09/08(木) 08:12:13.00

正方形ではなくても、普通の意味での凸領域（任意の二点を結ぶ普通の意味での線分が
領域に含まれる）であっても良い。

**１３２人目の素数さん** · 2022/09/10(土) 17:44:58.66

プログラムで実装できるか考えた時に割と致命的になることがある。

**１３２人目の素数さん** · 2022/09/27(火) 13:37:54.67

選択公理は必修じゃないから、履修の要件にならないよね。

**１３２人目の素数さん** · 2022/09/27(火) 13:50:13.03

国葬と選択公理は認めたら負け

**１３２人目の素数さん** · 2022/09/29(木) 22:36:57.28

選択公理を認めないといろいろと不自由になってしまい、論文が書きにくくなって
しまうんだ。認めた場合にだけ成り立つ定理などは、認めなければ成立しないから
それだけでも証明可能性が減ってしまい、論文の製造には不利になる。

論文を量産してパーマネントを得たり、定理に名を留めるためには、
とりあえず選択公理を認めるのが有利だよ。
実に強力な公理なんだから。現実にはできっこ無いことを可能にする
魔法の杖を持ったのと同じ働きをすることがあるわけだからね。

**１３２人目の素数さん** · 2022/09/30(金) 06:24:50.13

バナッハ・タルスキー現象なら
選択公理がなかった
聖書の時代から知られている

**１３２人目の素数さん** · 2022/09/30(金) 17:07:13.40

選択公理以外にも、新たな他の公理と矛盾しない強力な公理を見つけ出せれば、
さらに定理とその証明を製造する強力な武器を人類は手に入れたと言えるのかも
しれないな。あんなこといいな、できたらいいな、が公理を認めると
論理の上では可能になるのだ。そこが現実を伴わない論理だけの世界である
数学の便利で素晴らしいところだから。

**１３２人目の素数さん** · 2022/10/05(水) 16:25:43.30

チャーチ＝チューリングのテーゼ
はおそらく証明出来ないような命題で、一種の公理ではなかろうか？

**１３２人目の素数さん** · 2022/10/09(日) 11:13:45.59

多くの数学者が採用している公理。

数学は有用で価値があり人類の為になる。

**１３２人目の素数さん** · 2022/10/09(日) 12:07:13.72

>>60
>人類の為になる
なにか言ってみ

**１３２人目の素数さん** · 2022/10/09(日) 14:10:58.34

理化学研究所ユニットリーダー募集（W22143）
募集研究室
情報統合本部基盤研究開発部門ネットワーク高度利用技術開発ユニット（仮称）
（2023年4月1日新規設置予定）
https://www.riken.jp/careers/researchers/20221003_1/index.html

**１３２人目の素数さん** · 2022/10/10(月) 20:04:41.00

公理であるから、例を挙げる必要などなくて
その理論体系の中では正しいとするものだ。

神は存在する、という公理と同様。

**１３２人目の素数さん** · 2022/10/10(月) 23:45:14.01

我は神だ。信じさない、みたいな

**１３２人目の素数さん** · 2022/10/11(火) 13:48:07.38

天国とは何かを定義したら反証できるかもしれないが
そもそも定義しないからねぇ

**１３２人目の素数さん** · 2022/10/13(木) 12:01:44.66

新しい用語「天国」を定義するとしたら、
定義自身が自己矛盾を含んでいなければ、それは定義であって
命題ではないので、証明出来たり反証できたりするようなものじゃない。

**１３２人目の素数さん** · 2022/10/13(木) 14:16:22.39

これ系の話聞くといつも思うんだけど
超越的と思われる公理について「神には‥できる」みたいな解釈を与えることで神や人間が存在する形で数学・計算論・論理学を記述したら面白そう

**１３２人目の素数さん** · 2022/10/13(木) 22:02:47.77

>>66
目標は天国の存在(不存在)という命題の証明なので、天国の定義はちゃんとやっておくんなまし

**１３２人目の素数さん** · 2022/10/13(木) 22:07:32.23

天国は日本である。

**１３２人目の素数さん** · 2022/10/13(木) 22:12:12.41

>>69
日本は存在する
よって天国は存在する■

**１３２人目の素数さん** · 2022/10/13(木) 22:17:02.01

問題は、日本の存在を証明できるかだ。まず、日本の定義をしないと。

**１３２人目の素数さん** · 2022/10/14(金) 00:16:59.31

最東端東経153度59分12秒，最西端東経122度55分57秒，最南端北緯20度25分31秒，最北端北緯45度33分26秒で囲った集合として定義する

**１３２人目の素数さん** · 2022/10/17(月) 11:47:36.29

神の王国は、あなたの内側にある
https://maharishi.or.jp/the-kingdom-of-god-is-inside-of-you/

つまりあなたの内側での公理としている分には、それで良し！

**１３２人目の素数さん** · 2022/10/26(水) 17:51:10.95

宗教戦争は公理系の異なる論理体系が遭遇した場合の悲劇である。

**１３２人目の素数さん** · 2022/10/28(金) 16:01:58.08

>>1
普通に認めていいんじゃね？
なぜ認めることに抵抗があるのか分からない。
逆に何の根拠もなく天国を否定するのも非科学的な話だ

天国が存在するという思想体系で生きるか
存在しないという思想体系で生きるか、個人の勝手

**１３２人目の素数さん** · 2022/10/29(土) 22:14:29.46

「必ずしも必要ではないものは、仮定すべきではない、
それよりも極力単純なものを考えるべきだ」
というオッカムの剃刀といわれる原則・哲学が
普通はあるからな。

**１３２人目の素数さん** · 2022/10/29(土) 22:45:27.72

狼なんか怖くない

**１３２人目の素数さん** · 2022/10/29(土) 23:22:32.02

>>76
天国の存在を仮定しないと
キリスト教やイスラム教は成立せず、
よって近代科学は発達しなかったと考えられるので
必要だよ

選択公理がなくても文明は成り立つが
宗教がないと文明を維持できないので選択公理も結局は生まれない

天国だけじゃなく神の存在を認めることも必要。
「神が作ったルールがあるはずだ」という信念が
西洋科学の土台となっているからね

**１３２人目の素数さん** · 2022/10/30(日) 16:09:29.21

科学の論理の公理のようなものとして
「原因があって結果が生じる」というのがある。因果律とかいうものだ。
それから、結果を説明する原因があるはずだ、ということになる。

その場合に、ある時代のレベルでは説明がうまくつかないときには、
原因を神に帰着させるという便法が無意識にとられていたと思われる。

神はサイコロを振らないというアインシュタインの哲学も、
確固たる結果は確固たる原因によって生じるのだという思想があるからだ。

**１３２人目の素数さん** · 2022/10/30(日) 16:27:41.40

オッカムと3匹のコブタ

**１３２人目の素数さん** · 2022/10/31(月) 05:50:36.08

>>1
天国を数学的に定義して

**１３２人目の素数さん** · 2022/11/05(土) 21:58:40.22

構成する要素全てを列挙することもできないのに、
無限集合の存在を確信して公理にしてしまうのは、
人間の思考癖・信仰なのではなかろうか？
要素が満たすべき性質を与えれば、それで集合が
定まるということは現実的ではないし。

さらに加算無限ならばいざ知らず、非可算無限だと
すれば、なおさら無理。つまり現代の数学の
ほとんどの部分は、虚構の花畑であり楽園なのだ。
そこから外部に出ていこうとすると、道具が使えず
に、たちまち現実の壁にぶつかって挫折をしてしま
うことだろう。

**１３２人目の素数さん** · 2022/11/05(土) 22:28:06.52

>>構成する要素全てを列挙することもできないのに、
>>無限集合の存在を確信して公理にしてしまうのは、
>>人間の思考癖・信仰なのではなかろうか？

その思考癖・信仰に裨益されるところの大きさというものが
よかれあしかれ今日の世界の特性である。

**１３２人目の素数さん** · 2022/11/11(金) 04:13:02.54

昔、天国という飲み屋があって、そこのプロモーションのようなソングが
大いに流行ったことがあった。

「天国、良いとこ一度はおいで、酒は美味いし、姉ちゃんは綺麗だ♪」

**１３２人目の素数さん** · 2022/11/11(金) 04:15:26.93

んぁ～おまえ、まだそんなことやってのでっか、

**１３２人目の素数さん** · 2022/11/11(金) 06:53:50.08

もっと昔、「地獄」という映画を見た

**１３２人目の素数さん** · 2022/11/11(金) 10:15:32.15

「ゲーデルの不完全性定理」からすれば、ある命題(定理)があって、
それを、ある公理系では真を証明できず、別な公理系では証明できる
ってことがあり得る。
だから人は、複数の公理系を適当に使い分ければいいんだ。

**１３２人目の素数さん** · 2022/11/11(金) 10:29:46.48

神々のプラリス”ム

**１３２人目の素数さん** · 2022/11/12(土) 11:23:29.54

証明が出来ない公理系Ｌに、その命題を公理として付け加えた公理系Ｌ’であれば、
その命題はＬ’において真になる。

**１３２人目の素数さん** · 2022/11/16(水) 23:49:24.05

解が存在するかどうか決定不能なディオファンタス問題には
どのような例があるのだろうか？
具体的な不定方程式を与えて、その方程式に整数解があるかないかを
決定することが不可能であることが証明されるようなものがあれば
観て見たい。

**１３２人目の素数さん** · 2022/11/16(水) 23:51:25.81

かつてはフェルマー問題がその有力候補だった

**１３２人目の素数さん** · 2022/11/18(金) 02:06:07.06

双子素数が無数にあるかどうかとか、
フェルマー素数は有限個だろうかというのも、
決定出来れば素晴らしいのだが。

**まなか** ◆manaka./vCup · 2022/11/18(金) 04:47:24.52

「証明も反証もできないことが証明されている」のと
「現時点で証明も反証もできていない」は違いますからね。

そもそも公理というものは作りたい体系に応じて必要な物を採用すればよいです。

**１３２人目の素数さん** · 2022/11/18(金) 23:25:29.29

｜そもそも公理というものは作りたい体系に応じて必要な物を採用すればよいです。

それだと数学が分断されて、バベルの塔のような、あるいは
Linuxのディストリが乱立のような状況に陥らない？

**１３２人目の素数さん** · 2022/11/23(水) 15:56:36.41

ほとんどすべての整数は素数では無い。
ほとんどすべての整数の対は互いに素である。
ほとんどすべての整数の対の商は整数では無い。
ほとんどすべての実数は整数ではない。
ほとんどすべての。。。。

という具合にほとんどすべての場合に成り立つ命題を
証明する方が、「ほとんどすべての場合に」という
但し書きの無い命題を証明するよりも易しくて論文の
数が稼げたりするのだろうかな？

**１３２人目の素数さん** · 2022/12/03(土) 04:24:05.07

最強の公理
「任意の命題は証明不可能である」。

**１３２人目の素数さん** · 2022/12/15(木) 03:52:26.11

物理では多次元宇宙というものがれっきとした学問として研究されてるんだから
天国が存在しても直感レベルにおいて違和感はない

**１３２人目の素数さん** · 2022/12/15(木) 08:50:18.66

>>97
>物理では多次元宇宙というものがれっきとした学問
やることないから、妄想がふくらんでるだけ。

**１３２人目の素数さん** · 2022/12/15(木) 09:07:21.27

>>98
誰の妄想であるかということが
物理では重要らしい

**１３２人目の素数さん** · 2022/12/16(金) 01:52:01.83

天国は数学的には認めてもいい。
もちろん認めなくてもいい。

**１３２人目の素数さん** · 2022/12/16(金) 09:09:45.64

アインシュタインの妄想のおかげで
ノーベル賞がもらえた今年の３人

**１３２人目の素数さん** · 2022/12/16(金) 09:17:54.97

公理1「天国はあります」

**１３２人目の素数さん** · 2022/12/16(金) 11:06:57.05

公理２「スタップ細胞はあります」

**１３２人目の素数さん** · 2022/12/18(日) 20:55:41.83

ワクチンをうつかうたないかの選択は自由です。

**１３２人目の素数さん** · 2022/12/18(日) 21:36:20.49

打たないのは自由であるが、打たないのは非国民

**１３２人目の素数さん** · 2022/12/19(月) 07:14:17.89

宇宙は存在する。
物質は存在する。
観測者は存在する。
物理法則は存在する。

**１３２人目の素数さん** · 2022/12/19(月) 07:15:46.80

公理も定理も命題も無い数学体系が存在する（空数学）。

**１３２人目の素数さん** · 2022/12/19(月) 09:36:02.34

打つのは自由であるが、打つのは非国民

**１３２人目の素数さん** · 2022/12/19(月) 18:15:45.95

>>打つのは非国民
これのもっともらしい理由付けがあると面白い

**１３２人目の素数さん** · 2022/12/20(火) 06:20:18.53

やれうつな、

**１３２人目の素数さん** · 2022/12/20(火) 06:45:19.33

こびとさんにも、100なののいのち

**１３２人目の素数さん** · 2022/12/20(火) 08:53:56.93

なるほどね

**１３２人目の素数さん** · 2022/12/21(水) 13:26:37.11

誰にとっても空数学の教科書を書くのは簡単だろう。

**１３２人目の素数さん** · 2022/12/21(水) 18:47:25.57

想像してごらん、命題なんてないんだと
ほら簡単でしょ？
無限集合なんてないんだし、ただ空があるだけ。
さあ想像してごらんみんなが
ただ今を生きているって...

想像してごらん、定理なんてないんだと
そんなに難しくないでしょう？
公理もなく論理もなく
そして数学もない
さあ想像してごらんみんなが
ただ平和に生きているって...

**１３２人目の素数さん** · 2023/03/09(木) 07:56:47.18

数学がなければ、入試に数学も無いな。

**１３２人目の素数さん** · 2023/03/09(木) 08:10:31.99

>>107
空すら存在しない（仏教）

**１３２人目の素数さん** · 2023/03/09(木) 08:33:47.11

色即是空　空即是色

**１３２人目の素数さん** · 2023/03/11(土) 02:53:23.43

数学がなければ空集合もない。ただ青い空の中に陽が輝いているだけなのかもしれない。

**１３２人目の素数さん** · 2023/03/11(土) 14:07:06.68

天は光がまぶしくて
考えることもできはしない
どこまで吹かれて
ゆけばよいのかしら
いつまで待っても返事が来ないのだよ

**１３２人目の素数さん** · 2023/03/11(土) 21:25:47.86

どこからも

**１３２人目の素数さん** · 2023/03/12(日) 05:23:04.31

どこかの砂漠に小さな花が咲いていて
どこかの海辺にクラゲたちがうかんでいるばかり

**１３２人目の素数さん** · 2023/03/12(日) 08:54:35.57

>>どこかの海辺にクラゲたちがうかんでいるばかり

--->

どこかの海辺にクラゲたちが遊んでいるばかり

**１３２人目の素数さん** · 2023/03/12(日) 09:13:10.33

>>どこかの砂漠に小さな花が咲いていて

--->

みしらぬ砂漠に小さな花が咲いていて

**１３２人目の素数さん** · 2023/03/13(月) 18:21:01.53

天国があるを公理として何の問題もない。
そこから正しく証明された定理は正しい。
天国がないを公理として何の問題もない。
そこから正しく証明された定理は正しい。

**１３２人目の素数さん** · 2023/03/13(月) 18:30:35.70

時間の中で月が小さくなってゆくのだ
空間の奥で太陽も消えてなくなるのだ

**１３２人目の素数さん** · 2023/03/14(火) 09:37:41.66

卵の影みたいにうす青く
地球の影が
虚無に映っている

**１３２人目の素数さん** · 2023/03/14(火) 18:55:37.19

神が存在しないという公理を設けるのが無神論。
神が存在するという公理を設けるのが有神論。
神は存在してただ1つに限るという公理を設けるのが唯一神論。
神は遍く存在するというのが、、。。。
神は存在して神の意図は人間には不可知であるとするのが、。。。。
神は教会に居ないというのは、。。。。
さらわぬ神に祟り無しというのは、論理体系に神を持ち込むリスクを語るもの。。。

**１３２人目の素数さん** · 2023/03/14(火) 19:22:27.04

神は美しくなければいけない

**１３２人目の素数さん** · 2023/03/17(金) 20:01:49.04

神の姿の見えぬものは運を自分の手で掴め。

**１３２人目の素数さん** · 2023/03/18(土) 07:05:32.49

神は見るものではなく信じるものだが

**１３２人目の素数さん** · 2023/03/18(土) 08:11:25.98

神は愚人どもが崇めるものだ。我は神だ、お布施よろしく

**１３２人目の素数さん** · 2023/03/24(金) 10:49:59.33

神、派遣いたします。気に入らなければチェンジ可能。