◎正当な理由による書き込みの削除について:      生島英之とみられる方へ:

【悲報】数学者の9割が"クラス"の厳密な定義を言えないことが判明www ->画像>3枚


動画、画像抽出 || この掲示板へ 類似スレ 掲示板一覧 人気スレ 動画人気順

このスレへの固定リンク: http://5chb.net/r/math/1569806165/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

1132人目の素数さん
2019/09/30(月) 10:16:05.96ID:fQmoAWSn
そんなんで圏とか使っていいのか?
2132人目の素数さん
2019/09/30(月) 18:01:47.67ID:/IFAoEvE
クラスと集合の厳密な定義教えて

それから9割の根拠は何よ
3132人目の素数さん
2019/09/30(月) 18:41:45.55ID:jiEv01Ra
クラスは圏論的に言えば
数学者の9割が"クラス"の厳密な定義を言えないとこのスレで話題にされているもの
4132人目の素数さん
2019/09/30(月) 19:03:30.38ID:fQmoAWSn
おいおい、まさかお前らクラスを定義できないのか?
集合の圏とか濃度とかどうしてんの?
5132人目の素数さん
2019/09/30(月) 19:09:21.18ID:/IFAoEvE
>>3
どこにそんなスレあるのん
>>4
圏論知らんから公理的集合論ではどう定義されるか教えて
6132人目の素数さん
2019/09/30(月) 19:19:36.12ID:4lw2o7Tx
未定義概念だから定義できなくて桶
7132人目の素数さん
2019/09/30(月) 19:28:23.39ID:/IFAoEvE
NBG集合論ていうのではクラスが標準搭載だって
保存拡大?ってのすれば定義できるのか

https://ja.wikipedia.org/wiki/クラス_(集合論)
8132人目の素数さん
2019/09/30(月) 23:43:50.23ID:rJup/IaL
ZFCにおけるクラスの定義は是非ききたいw
9132人目の素数さん
2019/10/01(火) 01:04:22.55ID:rKIGTlSo
クラスの定義はやく教えてよ
10132人目の素数さん
2019/10/01(火) 09:41:53.07ID:VWdSHcq4
お前らマジか...

濃度を定義する時に全ての集合からなるクラスに全単射で同値関係を入れるだろ?
集合の圏(多様体の圏とかも同様)を作る時に全ての集合からなるクラスを使うだろ?

本当に知らないのか?
11132人目の素数さん
2019/10/01(火) 13:51:33.67ID:rKIGTlSo
さっさとクラスの定義おしえてよ
12132人目の素数さん
2019/10/02(水) 17:40:18.28ID:9VfzOz2x
真のクラスを含むクラスの集まり?としてconglomerateという概念もあるのか…。こっちはまだほとんど何も分かってないようだけど
13132人目の素数さん
2019/10/02(水) 18:14:32.73ID:R+Etg75/
しゃーねえ、ここにいるやつだけにクラスの作り方を教えてやるか

準備として型を使った構成について説明する

1. 型T1, T2,...,Tnを導入する
2. 各型に対して、その初期要素を導入する
3. 既知の要素を材料として新たな要素を構成する規則を定義する
4. 以上によって構成されるもののみがT1, T2, ..., Tnの要素であるとする

いわゆる"帰納的定義"だが、型による区別がある点で異なる
この手続きによって「型がTiである要素」の全体が確定するから、それを集合として扱うことができるようになる。

もう一つ準備。
ZFCでも何でもいいから、集合論を上記のスタイルに書き直す必要がある。

【型】
作りたいのは集合だから基本的には集合を表す型「S」だけがあればいいが、
「集合ではない要素(英語ではurelement)」のための型「U」を導入してもいい。

【初期要素】
ZFC集合論の場合、初期要素は空集合のみ。
ただし、空集合に基づく数学では「0=空集合」「1={0}」などと定義され"数が内部構造を持つ"ことが原因で
「0∈1」など本来持っていない余計な性質を数が持つようになる
これを嫌う場合、0, 1, 2, ...といった基本的な要素は初期要素としておく

【構成規則】
・集合AとBを材料としてA∪B、A∩B、A^B、A-Bを作る構成規則、
・集合Aを材料として冪集合P(A)を作る構成規則、
・集合Aと論理式φから部分集合{x∈A|φ(x)}を作る構成規則、
など。

(続く)
14132人目の素数さん
2019/10/02(水) 18:31:48.88ID:uVhZ7uEX
>>1「ブルバキ読んでる俺つえー」
15132人目の素数さん
2019/10/02(水) 18:33:13.93ID:R+Etg75/
(続き)

集合論を前述のスタイルに書き直したら、「型がSである要素」の全体が確定するから
これを集合として考えることができる。この集合をsと書く。

次に前述の集合論を模倣してクラスの理論を作る。

【型】
クラスを表す型C

【初期要素】
型Cの初期要素はs

【構成規則】
Sの構成規則を流用(SをCと置き換えてそのまま使う)
例えば、AとBがクラスならばA∪B、A^B等のクラスを作れる
さらに"集合はクラスでもある"と考える場合は、Sの要素をCの要素とみなす型キャストS→Cを導入する

以上の手続きで「型がCである要素」の全体が確定する。これがクラス。
16132人目の素数さん
2019/10/02(水) 18:41:10.24ID:R+Etg75/
短くまとめると

0. 「帰納的定義は集合を確定する」を公理として認める
1. 集合論を帰納的定義で書く
2. すると「この集合論で作られる集合の全体」が(高次の)集合として確定する
3. 集合論の規則を流用してクラス論を作る
17132人目の素数さん
2019/10/02(水) 18:53:51.51ID:R+Etg75/
1個つけ忘れた
「集合Aと論理式φから部分集合{x∈A|φ(x)}を作る」ために論理式のための型Lが必要
SとLは関係しあいながら帰納的に要素を作っていく

>>14
ブルバキに書いてあったわけじゃない
俺が作った
18132人目の素数さん
2019/10/02(水) 19:22:52.68ID:eTLDQrIG
それ定義と言えるの?
19132人目の素数さん
2019/10/02(水) 19:57:06.46ID:+gGs4mwL
間違ってたら悪いけど、L={∊}の式を作ってさ、
{x|φ(x)}やεxψ(x)をオブジェクトとして搭載した言語に拡張する。

{x|φ(x)}やεxψ(x)のことをクラスと呼ぶ。

集合とは∃x(c=x)が成り立つようなクラスcのことであるとする。

∃x({y|φ(y)}=x)を∃x(∀y(φ(y)⇔y∊x))とするように
拡張言語の式をLの式に書き換える手順を用意して、
拡張言語の式ΦをLの式に書き換えた式をLΦと書いて、
∃xΦ(x)はΦ(εxLΦ(x))、∀xΨ(x)はΨ(εx¬LΨ(x))と同値になるように量化を規定する。
εxψ(x)=εxψ(x)だから∃x(x=εxψ(x))が成り立つのでεxψ(x)は全て集合。
意味の上では量化の範囲は集合に制限される。
20132人目の素数さん
2019/10/02(水) 20:38:58.63ID:R+Etg75/
>>18
まあ定義そのものではなく方法や方針だな

ちなみに型を使って集合を構成するというアイデアで厳密に書かれたものにはMartin-Löfの直観主義型理論がある
彼は彼のやり方でUniverseを定義してる
21132人目の素数さん
2019/10/03(木) 13:43:55.27ID:1t1nIyDX
あなたの独創的な考えを披露してほしいのではなく
定義を訊いてるんだが
22132人目の素数さん
2019/10/03(木) 14:11:51.43ID:pasIQCi5
ZFCには、クラスがない。
BG(GB?)には、クラスと集合がある。
集合はクラスだが、逆は言えない。
集まりを二段階に分ける。
23132人目の素数さん
2019/10/03(木) 14:31:40.80ID:MudqNuJG
>>21
お前、定義は他人が決めるものだと思ってるな?
お前が口を開けて「定義クレ〜、定義クレ〜」って待っててもエサは降ってこねぇよw
24132人目の素数さん
2019/10/03(木) 14:35:00.00ID:MudqNuJG
お前らはクラスを定義できずに濃度や圏の概念を使えない弱き数学者
25132人目の素数さん
2019/10/03(木) 16:04:59.99ID:VCXlQ85Q
BGではクラスは未定義概念だろ?
26132人目の素数さん
2019/10/04(金) 21:59:58.51ID:AsEuOlfD
俺がやったみたいに集合論を拡張してクラス論を作るんだよ
任意の集合論Xに対して「Xで集合とされるもの全体からなる集合」を作る
27132人目の素数さん
2019/10/04(金) 22:52:27.87ID:4Fu/lmU2
いや、普通のBGの教科書ではクラスは未定義概念でしょ?
その前提のもとに議論して解析学でも圏論でも議論するじゃん?
クラスを定義しないで圏論語るのはけしからんというのが納得いかんのだけど?
28132人目の素数さん
2019/10/05(土) 00:24:08.42ID:1Ki4NBwQ
誰か哀れなイッチに「お前のやってることは二番煎じだ」と諭してやって
29132人目の素数さん
2019/10/05(土) 00:28:36.34ID:Yy1rAuWt
>>26
それを集合と考えてしまうと、ラッセルのパラドックスに陥るのでは?全ての集合を含む何かは集合ではないと考えるのがproper class
30132人目の素数さん
2019/10/05(土) 02:26:57.54ID:YLIejlf9
>>23
定義は言えない(別に「言わない」でもいいけど)ってことねw
31132人目の素数さん
2019/10/05(土) 08:50:59.62ID:Oah9enqF
「ここではこうおく」「名付ける」って言うんだよね普通
32132人目の素数さん
2019/10/05(土) 09:59:52.41ID:QapFZSO7
>>27
ちゃんと思考できてる?クラス概念無しでどうやって「全ての集合からなる圏」を定義するの?
その圏のオブジェクトの全体を考えた時点でクラスが必要なんだが
33132人目の素数さん
2019/10/05(土) 10:05:57.56ID:+tvJ89qf
ベタなのは弱到達不能基数の存在を認めてグロタンディーク宇宙で展開すればクラスはいらない
34132人目の素数さん
2019/10/05(土) 10:13:11.24ID:QapFZSO7
>>28
お前だけ話が理解できてないみたいだけど大丈夫?スレの中身読まずに書いてるよね?

>>29
やってみりゃわかる
集合論Xを含むクラス論をYとし、「Xで作られる集合すべてからなる集合」をSとおく
集合(クラス){x∈S|¬(x∈x)}をAとおく
AはYの集合であってSの元じゃないからA∈Aであっても¬(A∈A)であってもパラドックスは生じない
ちなみにたいていの構成では¬(A∈A)が成り立つ
35132人目の素数さん
2019/10/05(土) 10:16:30.42ID:QapFZSO7
>>29
追記
Xの集合とYの集合をどちらも集合と呼んでるのが誤解を生んだようだ
X-集合、Y-集合みたいに「どの理論における集合なのか」という添え字がついてる
X-集合と対比してY-集合をクラスと呼ぶ
36132人目の素数さん
2019/10/05(土) 10:36:32.24ID:QapFZSO7
>>33
もしかしたらその方針でもできるのかもしれないが、グロタンディーク宇宙の存在を
示すために基数を使うとすれば基数をクラスなしでどうやって定義するかが問題になる
37132人目の素数さん
2019/10/05(土) 10:44:18.83ID:o3KPqddg
>>32
というより現代数学で未定義熟語や未定義概念を含まない理論を完成させた人間は一人もいないだろ?
かつてそれをやってみようと頑張ったのかカントールの素朴集合論。
よれば
・集合とは命題Φによって{x|Φ(x)}と書けるものである。
・命題とは∈と自由変数、命題結合子を適切に並べてできる語である。
・a∈{c|Φ(x)}とはΦ(a)が成立することである。
として全てのものか ‘定義’ されてる理論を作ろうとした。
しかしそれが上手くいかなかったのは有名なお話。
以来結局現代数学では全ての概念、熟語を定義する事は諦めている。
BG集合論において ‘クラス’ が未定義概念で ‘〜が〜に属する’ が未定義熟語。
“それ何” と問う事はご法度。
38132人目の素数さん
2019/10/05(土) 10:51:08.13ID:+tvJ89qf
>>36
ならないぞ
例えば順序数のクラスはxが順序数であることを示す述語φとして順次読み替えていけばいいだけ
39132人目の素数さん
2019/10/05(土) 12:13:27.68ID:QapFZSO7
>>37
概念の構成過程を逆にたどっていくと最も基礎の部分に未定義語があるのは分かる
しかしクラスを未定義語にするのは妥当ではないだろう
なぜならクラスは集合論を前提として「この集合論で作られるすべての集合の集まり」として定義されるものだから
とはいえ、もし集合よりもクラスの方が基礎的な概念だと思う人がいるならその人はその順序で定義すればいい

>>38
確認してないけどできるなら問題ない
40132人目の素数さん
2019/10/05(土) 12:19:03.82ID:WKvScQUk
別にクラスは集合の族じゃなくてもいいと思うんですけど
41132人目の素数さん
2019/10/05(土) 12:33:27.79ID:o3KPqddg
>>39
妥当ではないったって普通そうしてるし。
定義できない概念を使う数学がダメってんなら現代数学全部ダメになる。
しょうがないからどっかで諦めないといけないから普通はコンセンサスとしてクラスは未定義にするんでしょ?
その現代数学のコンセンサスに挑戦したいならしてもいいとは思うしどうぞご自由にだけど、自分が現代数学のコンセンサスに納得いかないからといってココの>>1の言い方はない。
42132人目の素数さん
2019/10/05(土) 12:54:49.73ID:QapFZSO7
>>41
一番基礎の部分に未定義語があるのはいい、でもクラスは定義できる語だろうという話
"普通"とか"コンセンサス"とかは知らない
他の奴らと精神を同化させる気はない
43132人目の素数さん
2019/10/05(土) 12:59:06.66ID:o3KPqddg
>>42
つまり現代数学のコンセンサスに挑戦する方の立場なのね?
ではご勝手に。
集合論の黎明期にはチャレンジャーは一杯いたみたいだけどね。
頑張ってねー
44132人目の素数さん
2019/10/05(土) 14:43:40.22ID:kZwmbLNI
>>37
>・集合とは命題Φによって{x|Φ(x)}と書けるものである。
という「内包公理」が矛盾を導くため、採用をあきらめた

したがって固有クラス(集合でないクラス)は
「命題Φ(x)を満たすxの全体であって、それ自体が集合でないもの」
45132人目の素数さん
2019/10/05(土) 14:51:40.45ID:kZwmbLNI
固有クラスとはどういうものか理解するのに
有限集合論を考えるのが一番いい

有限集合論では、集合は皆有限集合である
一方有限集合は無限に存在にするし、
有限集合の集まりは有限集合になるとは限らない

つまり「有限集合の集まりで有限集合にならないもの」が
有限集合論における固有クラスである
46132人目の素数さん
2019/10/06(日) 07:31:25.05ID:ytNcjaZr
>>44
NelsonのISTだと"xはstandard"を満たすx全体は集合にならないね
47132人目の素数さん
2019/10/07(月) 11:04:04.49ID:tydr/Q9f
存在公理(同一律)∃s〔s=s〕とは
「自分は自分である」 ということで
「なにかが それ自身だ」 という保証だが

電子の場合は自己同一性が無いので
同一律が成立してない

同一律 ∃S[S=S]
自己同一性がないってことは上記のSが複数存在するってことなのだが
数学の場合は「同一なら1個」ということで処理されている
(外延性の公理にいり対の公理で(x、x)=(x)とされていてxは1個)

自己同一性の無い電子の集まりは「真のクラス」としていいのか?
48132人目の素数さん
2019/10/07(月) 14:35:51.11ID:tydr/Q9f
>>42

話はそれるのだが 言葉は突き詰めると未定義語か循環定義語になってるとされている

Aを定義するにはBが必要でBを定義するにはcが必要でCを定義するにはAが必要とう循環定義でもべつにい感じはするのだが
49132人目の素数さん
2019/10/07(月) 15:32:57.04ID:3bkiY8iJ
>>48
そうそう、というかあらゆるものが定義されてる閉じた理論を作ろうとするとそのような循環的定義を使うしかない。
でカントールは集合の定義と命題の定義を循環させて閉じた理論を作ろうとした。
しかしうまくいかず、以後誰もそのような数学理論を構築できた人間はいない。
いわゆるBGのクラスが’定義’されている高階の集合論はあるけど、ところがそこではその高階の集合が未定義概念になってしまう。
50132人目の素数さん
2019/10/09(水) 08:50:45.68ID:DrZgl+gI
存在公理(同一律)∃s〔s=s〕とは
「自分は自分である」 ということで
「なにかが それ自身だ」 という保証だが
電子の場合は自己同一性が無いので
同一律が成立してない

同一律が成立しなければ
外延性の公理により対の公理で(x、x)=(x)とされてxは1個となり 
電子の集まりは集合で表現できない事になるのだが
電子の集まりは真のクラス(proper class)ということになるのか?

また同一律∃s〔s=s〕 が成立しなければ
無矛盾律 ¬(s∧¬s) も成立しないのだが
矛盾許容理論で 電子においては矛盾律が成立しない という事がカバーできるのか?
51132人目の素数さん
2019/10/10(木) 06:51:36.41ID:xGkf2mix
リンゴは同一律が成立するのでリンゴの集まりは集合で表現でき
電子は同一律が成立しないので電子の集まりは集合で表現できずに真のクラス(proper class)になるとして
リンゴと電子はそれぞれ異なるモデルってことになるけど 1つの世界に複数のモデルがあるということは
対象が意味の無いものとして抽象化できないということなのだが
52132人目の素数さん
2019/10/25(金) 09:25:53.88ID:2TknqnR3
>>38
クラスと述語は違うんだよなぁ

クラスは集まり
述語は言葉
イコールにはならない
53132人目の素数さん
2019/10/26(土) 14:01:35.06ID:UXK0qIA4
クラスは公理的自由航路湯の述語でしょ
だからまず述語論理があってそれから公理的集合論があってそれからすべての数学があるべきなのに
述語論理に集合使うのはおかしく無いか
54132人目の素数さん
2019/10/26(土) 14:58:08.36ID:UXK0qIA4
>>52
述語の同値類が
55132人目の素数さん
2019/10/26(土) 15:31:51.91ID:inkuX8Uh
>>52
違うというかそもそもクラスと呼ぶに値する数学的対象がなく、
順序数のクラスとか集合のクラスは個別にそう呼べるような数学的対象をそう呼んでるに過ぎない
だから順序数のクラスなどに限って言えば述語になるというだけ
キューネン「集合論」和訳版31Pなどを読むと良い(ただしこの本は一階述語論理を前提知識としていないから述語という単語は出てこない)
56132人目の素数さん
2019/11/01(金) 17:43:00.31ID:Ceaoafi6
【悲報】数学者の9割が"クラス"の厳密な定義を言えないことが判明www 	->画像>3枚
57132人目の素数さん
2019/11/27(水) 04:10:59.70ID:IBWgOXjg
>>49あらゆるものが定義されてる閉じた理論を作ろうとするとそのような循環的定義を使うしかない。

数学の命題の真偽は外からの観測によって確定するが
外からの観測ということも含めて閉じた論理を作るなら
「Aという命題の真偽を観測して真偽を確定する」ということも命題として真偽の対象とするしかなくなる
58132人目の素数さん
2019/11/27(水) 12:41:14.88ID:9uN+juHp
>>57
"外からの観測"とは?
1+1=2という命題の真偽は「1個の石と1個の石を合わせたら2個の石になる」みたいに実験で確かめろということ?
それ物理学じゃね?
59132人目の素数さん
2019/11/28(木) 02:38:26.65ID:3X25wPzm
>>58外からの観測"とは?

含意や同値の⇒とか≡の記号は命題の真偽を含むので
命題を外から見た場合の記号ということになる
60132人目の素数さん
2019/11/28(木) 03:16:48.64ID:3X25wPzm
>>58外からの観測"とは?

命題の内容ではなく命題どうしの関係・形式に基づいた論理学を形式論理学(数理倫理学)というが
含意や同値の⇒とか≡の記号は命題の真偽を含むので
命題を外から見た場合の記号ということになる
61132人目の素数さん
2019/11/28(木) 06:07:30.47ID:D7dyjW6F
MFCなら解るぞ
62132人目の素数さん
2019/11/28(木) 22:42:12.71ID:lvt0VL8R
4210
しろ@hu_corocoro 11月27日
苦節6ヶ月、初満点&一等賞です!
https://twitter.com/hu_corocoro/status/1199593474128896000
https://twitter.com/5chan_nel (5ch newer account)
63132人目の素数さん
2019/11/30(土) 23:59:23.26ID:GGzp8H8k
>>58外からの観測"とは?

命題論理は
命題の真偽を外に依存することで内部完結してないから
完全性が成り立つという事になる
64132人目の素数さん
2019/12/01(日) 12:31:44.03ID:W9Tz9QaD
例えばZFCの中でゲーデル数化された命題論理の中の命題の真偽の割り振りはZFCの中で完結してない?
65132人目の素数さん
2019/12/01(日) 20:17:09.58ID:/J310+uP
>>64命題論理の中の命題の真偽の割り振りは

「論理命題」は外によらずに論理的な考慮だけで真偽が定まる命題で
それはZFC内で完結してるが
単なる命題の真偽は外に依存していて真偽は内部で定まってはいない
66132人目の素数さん
2019/12/02(月) 08:13:44.67ID:6UZ1/jhS
>>65
命題の真偽が定まってなかったらモデル理論のいうモデルとは何なの?
解釈が定まらなきゃモデルも存在しなくね?
67132人目の素数さん
2019/12/02(月) 09:47:54.08ID:3pv1+LXz
>>66

「命題論理」とは「命題」と「命題」の間の関係の形式的な構造のことであり
「命題」の真偽の判定は外に依存するということで
内部で「命題」の真偽を判定はしない
(たとえば「富士山は日本で一番高い山」という「命題」の真偽は外に依存している)

「論理命題」とは外によらず論理的な考察だけで真偽が定まる命題のことで
「自然数論の公理系」とかもそのモデル内で論理命題の真偽が定まる
68132人目の素数さん
2019/12/02(月) 09:52:21.74ID:3pv1+LXz
>>66


「論理命題」とは外によらず論理的な考察だけで真偽が定まる命題のことで
「自然数論の公理系」とかもそのモデル内で論理命題の真偽が定まるということで
モデルの中の「自然数論の公理系」は「論理命題」が集まったセットということ
69132人目の素数さん
2019/12/02(月) 11:49:59.41ID:Zw84ZTuH
>>67,68
ZFCの中には集合しか存在しないから「富士山は日本で一番高い山」という命題と言えるような集合は存在しないのでは
68が言うところの論理命題しかZFCの中には存在せず、群などのモデルの真偽のような数学の命題の真偽は自然に論理的な考察で定まっていく、ということなら納得できる
70132人目の素数さん
2019/12/02(月) 20:19:36.65ID:3pv1+LXz
>>69

公理系には論理命題しか存在しないというでいいと思うが

命題論理の最初の命題は真偽は外に依存するが
Aいう命題があり 「AならばA」という命題を作った場合は
「AならばA」は論理的に真偽が確定する論理命題となる
71132人目の素数さん
2019/12/02(月) 20:59:08.90ID:H4/qzTIb
>>70
それいわゆるトートロジーのことだよな
そのAという命題の真偽が外で定まると言うなら、モデル理論のモデルはどう真偽を割り振ってるんだ
72132人目の素数さん
2019/12/02(月) 22:04:58.40ID:3pv1+LXz
命題論理でA,、Bを命題としたときに
¬A, A ∧ B, A ∨ B, A ⊃ B とかも命題になる


AやBの真偽は真で偽でも自分で入れてみればいい
73132人目の素数さん
2019/12/02(月) 22:50:35.92ID:3pv1+LXz
>>71

命題論理で外で命題の真偽が確定するような命題を取り扱っても別に問題ないし

命題関数でp(x):x+2 としてXの範囲を変えることで命題の真偽を変える事ができるけど
これは命題論理の外で真偽が決定されたという事であるし
74132人目の素数さん
2019/12/03(火) 15:57:28.13ID:mgr0kJo1
>>69

命題論理の最初の命題は真偽は外に依存するが
命題論理の内部で真偽が定まる論理命題を作り事もできる

たとえば
論理命題の交換律や結合律や分配律を使用して
集合の交換律や結合律や分配律に対応させることもできるし

集合X、Yに対して
交換律 X∩Y=Y∩Xは
∩の定義={x;x∈X かつ x∈Y}
論理の交換律により ∩の定義={x:x∈Y かつ y∈X}
∩の定義=Y∩X

ようするに「集合の性質」を「論理の性質」に帰着させるということ
75132人目の素数さん
2019/12/05(木) 16:11:29.42ID:dkS1TwR0
>>58

言葉は突き詰めれば無定義か循環定義になるけど
公理もやはり言葉なので突き詰めれば無定義ってことで意味を持たない

自然数の公理も突き詰めれば無定義語になるので
無意味な公理ということになる

算術演算の証明も無意味な公理のもとで行われて
真偽の判定がなされる
76132人目の素数さん
2019/12/20(金) 02:25:23.48ID:yiLw1Jz8
2530
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です!
https://twitter.com/huwa_cororon/status/1199593474128896000
https://twitter.com/5chan_nel (5ch newer account)
77132人目の素数さん
2019/12/20(金) 02:50:47.08ID:Y8KMmJIM
数学者の9割が、ってことは数学者の数は10の倍数ってことか
いいこと知ったわ
78若林豆腐店店主の告発(葛飾区青戸2−9−14)ダメおやじ似
2021/03/09(火) 09:31:53.18ID:5gIZP/7W
高添沼田(葛飾区青戸6−26−6)
●高添沼田「井口千明の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・井口千明の息子(葛飾区青戸6−23−16)の挑発
●井口千明の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

●高添沼田「盗聴盗撮犯罪者の井口千明の息子の逮捕を要請します」
高添沼田の住所=東京都葛飾区青戸6−26−6
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で母親の下着で自慰行為をしている井口千明の息子
井口千明の息子の住所=東京都葛飾区青戸6−23−16
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 рO3ー3607ー0110

盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で母親の下着で自慰行為をしている井口千明の息子の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6−23−19)の
五十路後半強制脱糞
【悲報】数学者の9割が"クラス"の厳密な定義を言えないことが判明www 	->画像>3枚

ニューススポーツなんでも実況



lud20251122231835
このスレへの固定リンク: http://5chb.net/r/math/1569806165/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

TOPへ TOPへ  

このエントリをはてなブックマークに追加現在登録者数177 ブックマークへ


全掲示板一覧 この掲示板へ 人気スレ | Youtube 動画 >50 >100 >200 >300 >500 >1000枚 新着画像

 ↓「【悲報】数学者の9割が"クラス"の厳密な定義を言えないことが判明www ->画像>3枚 」を見た人も見ています:
札幌市新たに14人…クラスター発生の病院で患者1人"夜の街"でも1人判明 北海道「9日連続2桁」確認 [ヒアリ★]
【宇宙マジヤバイ】科学者当惑。ありえないことに、NGC1052-DF2銀河に暗黒物質がないことが判明。
4月から小学生のZキッズ、4人に1人が和式便所を"使えない"ことが判明!和式に抵抗がある割合は全体の5割
【朗報】田中聖さん逮捕が早すぎて"法の抜け道"が使えることが判明!2回目でも初犯扱いで服役回避可能と経験者が助言
【悲報】匿名だと人間よりAIの方が"共感力"が高かったことが判明!!これもうシンギュラリティだろ!!
一流政治学者「WHOの渋谷氏を"潰す"」
【7人死亡】旭川市の病院 "国内最大"のクラスター214人に拡大… 29人新たに感染 [ブギー★]
【東京】渋谷で"100年に一度"の大規模再開発 新施設「渋谷サクラステージ」の内部公開 [首都圏の虎★]
「一番苦しいのは(真の)お母様」統一教会日本会長が信者へ仰天メッセージ、韓鶴子総裁が感じる"苦痛”の内容が判明!
なぜ大人も映画館に「名探偵コナン」を見に行くのか…年800冊の漫画を読む哲学者が語る"知られざる魅力" [愛の戦士★]
「ファック」と言いまくると鎮痛効果があると判明!「くそ!死ね!」も有効、学者が推奨「悪態は良いこと」
「自転車で転んだと親に言うと 小言を言われると思い 交通事故に見せかけた」男子高校生ひき逃げ事件は"虚報"と判明 北海道 [すりみ★]
【北海道】死亡したのは"滋賀県栗東市に住む20代の男性"と判明 JR千歳線の上野幌駅で起きた人身事故 事件性は低いとみられる [Ailuropoda melanoleuca★]
【沖縄】"クラスメイトと話すきっかけができた" 悩みを抱えた生徒が通う「たんぽぽ教室」 [おっさん友の会★]
【国際政治学者】「三浦瑠璃さん」が何故メディアに多用されるのか が判明
ブラジルの物理学者「数学的モデルを構築した結果、現実に近づけた状況での最強の国家は北朝鮮と判明」
【捏造】???「ロシア軍によりハリコフの学校に通う中国人4人死亡、2人の名前が判明!」→在学者に該当名無し【代理】
日本学術会議の会員、法・政治学者は389人に1人であるのに対して、電気・電子工学者は38,486人に1人と、100倍の偏りがあると判明 [Felis silvestris catus★]
山岸りこりこが思い悩む「何か1つを"極める"ってことが大事なのか、どんどん新しいことにチャレンジした方がいいのか」
ハイレゾオーディオは人間の耳では聴こえないことが判明、ピュアオーディオよりも詐欺だった
【悲報】 「肌が白くて綺麗!A.V女優みたい!」→セクハラになる為、言ってはいけないことが判明
【悲報】『ガンダムGQuuuuuuX』さん、少数のオタクしか見ておらないことが判明する…各配信サイトの順位が悲惨な結果に🥲
【調査】男性の3割が禿げに悩んでいることが判明
【悲報】10〜20代の7割が安倍政権を評価していることが判明
【社会】婚活女性の6割が"最低700万"という理由 ★3
"セクハラ被害者"のテレ朝女性社員、セクハラ対処法をほとんどやっていなかった
ホ モがコロナクラスターだった事が判明!政府動く
万引きしてるジジババの6割が独身だということが判明、生活か苦しいと自称する人も多数 嫌儲民の末路っぽい
【広島】訪問介護でクラスター発生か 50代スタッフの感染判明 /三好 10日
【悲報】九州大学「研究の結果、2025年には日本人の約1割が認知症で理性を無くすことが判明した」日本終了へwwwwwww
エピファネイア産駒 新馬未勝利戦(31,30,19,42) 1勝クラス以上(1,3,3,30)←これの原因が判明
【動物】カラスは生後4ヶ月で、大人のチンパンジーと同等の知能レベルに達することが判明 [チミル★]
GoToトラベル1ヶ月 堅調な利用 感染拡大もせず 神政策だったと判明 反対してた連中は国賊確定
【岐阜】元日に会食した14人中10人陽性判明も…新規感染者74人 新たなクラスターが2つ発生 [蚤の市★]
【銃ヤバイ】ラスベガス銃乱射事件で犯人が使っていた銃 1000mでも十分な殺傷力があったことが判明する
【福島県いわき市】<クラスター発生の大学野球部>新たに部員30人感染判明!大半が寮で生活 [Egg★]
4/19 サンデーステーション「テレビ朝日の30代スタッフが新型コロナ感染が判明」富川クラスターw
防犯カメラに"諦める姿"…コインランドリーの精算機を破壊しきれず現金盗めずーその後リサイクルショップにもガラス割って侵入 [武者小路バヌアツ★]
トップクラス9位以内人気AV女優は全員細身だと判明!男の大多数はガリガリ好き!人気AV女優はガリガリばかり!
大人気漫画「ワンパンマン」みんな放射能で死んでジェノスは心臓引っこ抜かれて死ぬ神展開に ブラストも雑魚なことが判明
やはり東大医学部志望、強いことが判明
【画像】日本政府、いらないことが判明
【悲報】名大機航が実は大して凄くないことが判明
風呂の鏡にガラコを塗ると水を弾いて凄いことが判明
【朗報】喫煙者、コロナにかからないことが判明
【緊急速報】ハゲはこの世に存在しないことが判明
鬱病、脳の構造が萎縮して治らないことが判明
【悲報】コロナさん 軽症でもガチでヤバいことが判明
【韓国】「大韓民国の国民であることが誇らしい "73%
【悲報】寿司を食べてる安倍晋三、存在しないことが判明
【悲報】韓国を好きな日本人、10%しかいないことが判明
【悲報】長野県民の大半がエアコンすら持てないことが判明
レイデオロはサクソンウォリアーより弱いことが判明
【速報】アベノマスク 縦に装着すれば問題ないことが判明
気になってた女の子の喘ぎ声がうるさいことが判明したんだが
座って小便は体に良くないことが判明したので絶対にやめましょう ・
喫煙者は非喫煙者よりもインフルエンザにかかりやすいことが判明
【悲報】悠仁さま、筑波大学附属高校に受かるほどの学力はないことが判明
【悲報】コロナ、一度感染したら大半の人間が完治しないことが判明
北海道の男性は東京の男性に比べ1.5倍チンポが強いことが判明
【悲報】リリホワ、他ユニット推しからほぼ支持されてないことが判明
【国際】日本や中国と比較し、韓国の知名度は欧州で低いことが判明 [1/19]
【朗報】スクールアイドルの人気に大きなおっぱいは必要無いことが判明
【ヤバイ】"挨拶"が出来ない大人ガチで増える…「こんにちは」も言えない…
【悲報】天皇、税金でタダ飯食らってるのに祭祀で誰ひとり日本国民を守れないことが判明

人気検索: 望月ゆな Child あうアウpedo little girls Kids Child 尻こき 邏?莠コ縲?繝槭Φ繧ウ Candydoll masha babko https://is.gd/wLA5xK Marsha babko Pthc
03:30:45 up 3 days, 19:36, 4 users, load average: 9.03, 8.24, 8.23

in 1.5892381668091 sec @1.5892381668091@0b7 on 112317