17/09/29 16:30:40.60 NHnJa4X9.net
公理を設定していないため、明らかなことを明らかな事実を使って証明しているようにしか
思えません。
公理が設定されているのなら、ここはこの公理を使っている、そこはこの公理を使っている
と確認することができますが、それができません。
非常に問題があるといえます。
17/09/29 16:30:40.60 NHnJa4X9.net
公理を設定していないため、明らかなことを明らかな事実を使って証明しているようにしか
思えません。
公理が設定されているのなら、ここはこの公理を使っている、そこはこの公理を使っている
と確認することができますが、それができません。
非常に問題があるといえます。