じゃあ圏論を述語論理つかわない言語則と推論則書き下してみろや
できるんか？
で、その理論の表現力が一階述語論理+推論則での証明論より真に強いこと証明してみろや
できるんか？
ゴミ
Inter-universal geometry と ABC予想 (応援スレ) 75
■ このスレッドは過去ログ倉庫に格納されています
551１３２人目の素数さん
2025/09/30(火) 21:49:49.47ID:jbiN8kyh■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 日本のGDP、世界6位転落へ…薬物もやらない勤勉な日本人が貧しくなる屈辱は“完全な政策ミス”か？ ★9 [ぐれ★]
- 【日本ハム】水谷瞬、吉田賢吾、今川優馬、エドポロ・ケインらに「野球賭博」疑惑 窃盗事案も指摘のファンアカウントSNS投稿が波紋 [ぐれ★]
- 【芸能】ネプチューン、25年続くフジ長寿番組が存続危機に… 視聴率低迷「そろそろ潮時か」と社内も諦めムード [冬月記者★]
- 今後の防衛費「増額」の中身は削 れない固定費5年で30兆円、続く爆買い「兵器ローン」…負担は国民へ [蚤の市★]
- 【衆院定数31減】国民が容認に傾く 野党が反発、参政も「党利党略」 [蚤の市★]
- 【野球】巨人 高橋由伸氏にヘッドコーチ就任要請！ 松井秀喜新監督の「1人だけ声をかけています」は高橋由伸氏… 豪華内閣が実現へ★2 [冬月記者★]
- 【心理テスト】ここに卵が1パックあります何を作りますか？ [441978185]
- 【実況】博衣こよりのえちえち2時間ARK🧪
- 【悲報】韓国兄さん、モスクを建てようとするムスリムの前で豚焼きパーティー開催してしまう [126042664]
- 【悲報】識者「ネトウヨのせいで日本人の性格の悪さが世界にバレた」👉１０万いいね [398059782]
- 【悲報】筋トレ、キモくてダサくなるだけだったwwwwwwwwwwwwwwwww [464691624]
- 【悲報】世界気く「声優って必要か？AIに読み上げてもらった方が安いし、演技力高いじゃん」70億いいね [257926174]