Page "Löwenheim–Skolem theorem" Paragraph 34
from
Wikipedia
: Every countable theory which is satisfiable in a model M, is satisfiable in a countable substructure of M.
Page 1 of 1.
1.955 seconds.