2022-09-01から1日間の記事一覧

一貫性法則と一貫性定理

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