Folgerungen aus Unentscheidbarkeit

• Einschränkung des Universums

  (äquivalent: Erweiterung jeder Formel um Axiome, die das gewünschte Universum festlegen)

• Einschränkung der Formelsyntax
  • nur bestimmte Quantoren, nur an bestimmten Stellen

    (im einfachsten Fall: gar keine)

  • nur bestimmte Verknüpfungen

    (Negation nur für atomare Formeln, Verknüpfung nur durch ∧ mathend000#)