くどいが:
- 一貫性法則は命題である。
- 一貫性定理は、一貫性法則という命題が真であると保証している定理(証明付き)
法則は単なる命題で、定理は真である保証。一貫性法則という命題を公理として要求するときは一貫性要求。「一貫性公理」と言うとバランスはいいのだが、一貫性条件と混乱する。一貫性法則要求公理とかになる。
くどいが:
法則は単なる命題で、定理は真である保証。一貫性法則という命題を公理として要求するときは一貫性要求。「一貫性公理」と言うとバランスはいいのだが、一貫性条件と混乱する。一貫性法則要求公理とかになる。