一貫性法則と一貫性定理

くどいが：

• 一貫性法則は命題である。
• 一貫性定理は、一貫性法則という命題が真であると保証している定理（証明付き）

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