直観主義とか構成主義って一言で言うと縛りプレイだよな at MATH
[2ch|▼Menu]
1:132人目の素数さん
23/12/11 16:40:33.19 41UDQoei.net
特定の推論規則や公理を使わない縛り


レスを読む
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

74日前に更新/1641 Bytes
担当:undef