Universum

==> Term

==> Formel

==> Interpretation, semantische