Page "Original proof of Gödel's completeness theorem" Paragraph 11
from
Wikipedia
#* We finally use the models in which the D < sub > n </ sub > hold ( in case all are not refutable ) in order to build a model in which φ holds.
Page 1 of 1.
1.831 seconds.