21/06/22 09:15:15.53 V0RrpQTA.net
>>512
P(x),Q(x)で
∃0P(0)を公理
その公理で存在が許される0についてQ(0)を公理という状況
数理論理学的にはQ(0)と書くのは
∃0(P(0)→Q(0))の省略？それとも∃0(P(0)∧Q(0))？
後者かなあ
でも後者なら
∃0P(0)を証明できるからこちらは公理から外すべき？（わかりやすさから残す？）
21/06/22 09:15:15.53 V0RrpQTA.net
>>512
P(x),Q(x)で
∃0P(0)を公理
その公理で存在が許される0についてQ(0)を公理という状況
数理論理学的にはQ(0)と書くのは
∃0(P(0)→Q(0))の省略？それとも∃0(P(0)∧Q(0))？
後者かなあ
でも後者なら
∃0P(0)を証明できるからこちらは公理から外すべき？（わかりやすさから残す？）