Page "Löwenheim–Skolem theorem" Paragraph 36
from
Wikipedia
: Every countable theory which is satisfiable in a model is also satisfiable in a countable model.
Page 1 of 1.
1.877 seconds.