[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
933
(1): 2021/03/08(月)08:03 ID:tHlTN7kN(2/32) AAS
昨日の ID:hNgjnPPg は概ねいいこといってると思う
・・・ただ選択公理ACを否定したがってる点を除いては

864 >ラムダ計算の専門家がなんで、
>遠アーベル幾何や、対比ミュラ、選択公理意識しながら、
>数論できねん

ここ、選択公理なければよかった

874 >どこにモデル理論の専門家で、
省16
947
(1): 2021/03/08(月)11:13 ID:hW/TJfzK(1/16) AAS
>>933

選択公理は分野によるから、お前の分野ではつかってればいいんじゃね。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.036s