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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.