Help


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.

1.831 seconds.