Prädikatenlogik/Formalisiere/Wahre Aussagen über Primzahlen/Aufgabe

Aus Wikiversity

Formalisiere in der arithmetischen Sprache die folgenden wahren Aussagen.

  1. Es gibt unendlich viele Primzahlen.
  2. Jede natürliche Zahl wird von einer Primzahl geteilt.