公理から定理を推論する方法を確かめるために原型が必要です。 In order to prove that a set of axioms is consistent, a model must be found such that the axioms can be shown to be true through examination of a finite number of the model's eleme…