0555132人目の素数さん垢版 | 大砲2017/10/08(日) 12:59:32.60ID:62Wk3QBs >>553 メタ数学はあんまり細かいこと言わないで“普通に”数学だよ メタ数学の対象になるのが細かい公理的集合論とか諸々