11/04/30 12:13:51.50
まぁ独立性って言葉を使うから議論が起こるわけで、
単に公理と推論規則に無駄がないって言えばいいんだと思う。
加えて言うと、独立性はもちろんのこと、
完全性や無矛盾性さえ体系には必要ない。
11/04/30 12:13:51.50
まぁ独立性って言葉を使うから議論が起こるわけで、
単に公理と推論規則に無駄がないって言えばいいんだと思う。
加えて言うと、独立性はもちろんのこと、
完全性や無矛盾性さえ体系には必要ない。
11/04/30 12:13:51.50
まぁ独立性って言葉を使うから議論が起こるわけで、
単に公理と推論規則に無駄がないって言えばいいんだと思う。
加えて言うと、独立性はもちろんのこと、
完全性や無矛盾性さえ体系には必要ない。