14/04/11 23:55:42.45
>>706
調べる対象が「数学」なだけで、実体は普通の数学だと言うの？
推論規則は同じだよね？
公理は明示されてないようだけど、算術の公理一式ってこと？
14/04/11 23:55:42.45
>>706
調べる対象が「数学」なだけで、実体は普通の数学だと言うの？
推論規則は同じだよね？
公理は明示されてないようだけど、算術の公理一式ってこと？
14/04/11 23:55:42.45
>>706
調べる対象が「数学」なだけで、実体は普通の数学だと言うの？
推論規則は同じだよね？
公理は明示されてないようだけど、算術の公理一式ってこと？