Godel証明の続き

公理から定理を推論する方法を確かめるために原型が必要です。
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 elements.
In fact, in order to eliminate any doubt about the truth of the axioms, the model should contain a finite number of elements.
An example of this is as follows:
Consider two classes K and L to which the following postulates apply:
1. Any two members of K are contained in exactly one member of L.
2. No member of K is contained in more than 2 members of L.
3. Any member of L contains at most two members of K.
4. Any two members of L contain at most one member of K.
5. All the members of K are not contained in any one member of L.
The model which applies to these postulates is a triangle whose sides are members of L and vertices are members of K. We can prove that Postulate 1 holds by confirming that any two vertices on a triangle are contained in a single edge.