型理論では
ラッセルのパラドックスを回避すべく
∈の左右を厳密に区別しますので
x∈xはそもそも論理式にしません
Inter-universal geometry と ABC予想 (応援スレ) 76
レス数が900を超えています。1000を超えると表示できなくなるよ。
925１３２人目の素数さん
2025/11/02(日) 11:34:07.65ID:PdOpFRcNレス数が900を超えています。1000を超えると表示できなくなるよ。
ニュース
- GMO情報公開確認したユーザーに最大300万円 懸賞金総額100万ドルで情報提供も呼びかけ [バイト歴50年★]
- 高市首相G7欠席が招く最悪事態 G7欠席にフランスが激怒…EUにEV優遇策「日本車除外案」、実施なら国産自動車メーカー大打撃 [バイト歴50年★]
- スーパー「アキダイ」秋葉代表が国会質疑に「減税の喜びは1か月もたない」 2年後の増税や値札付け替えの現場負担を懸念 [少考さん★]
- 「高度なAIは人類滅亡のリスクをもたらす」──生成AI「Claude」開発元の米Anthropicが投資家向け資料で言及★2 [♪♪♪★]
- 消費減税「極めてコスパ悪い政策」 渡辺・東大名誉教授が国会で意見 [蚤の市★]
- 高市総理のG7欠席「回線業者が…」追及で国会274秒ストップ 辻元清美氏「石破政権までは24時間対応」「完全に自己矛盾」 [少考さん★]
- 【高市悲報】GMO熊谷、GMOのネトパトを批判しただけの人に対して刑事告訴すると脅す [663382246]
- 【悲報】GMO熊谷氏、ここにきてAIで懸賞金ポスター(1億5000万円)を作成し無事炎上wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww ★2 [841411289]
- GMO、ネットパトロール開始 [455679766]
- GMOハッカー「GMOに脆弱性を数十回指摘したけど無視された人から情報提供を受けて攻撃した」 ★2 [663382246]
- アキダイ社長､国会で高市早苗悲願の消費減税をこき下ろす｢7%下がった喜びなぞ1ヶ月もたない｡そして2年後7%上がる時は相当な痛手になる｣ [597533159]
- 【悲報】GMOの被害者一号の小山さん、全てを失うｗｗ [347751896]