数学基礎論・数理論理学　その19

数学基礎論・数理論理学　その19at MATH

数学基礎論・数理論理学　その19 - 暇つぶし2ch509:１３２人目の素数さん
24/11/30 01:28:12.81 WOfFCiMt.net
>>507
型が指し示すものとか気にする必要ないやろ
集合論で解釈すること前提なら最初から集合論でいいじゃん
この型を持ってる式をこう組み合わせたらこの型の式ができますってルールを集めましたってのをスタート地点にしないとだめだよ

次ページ

続きを表示

1を表示