theorem Th19: :: FOMODEL4:19

for Z being set
for S being countable Language
for D being RuleSet of S st D is 2 -ranked & D is isotone & D is Correct & Z is D -consistent & Z c= AllFormulasOf S holds
ex U being non empty countable set ex I being Element of U -InterpretersOf S st Z is I -satisfied