Matematyka.pl

Nie rozumiem tego Czy można prosić bardziej łopatologicznie?

Skonstruuj bijekcję f o podanej dziedzinie i przeciwdziedzinie
f: (\NN \rightarrow \left\{0, 1 \right\} ) \rightarrow (P \rightarrow \left\{3, 4 \right\} })
\NN - liczby naturalne
P - liczby parzyste

oryginał wygląda tak (jeżeli to co napisałem wyżej, to nie to samo):
f: \left\{0, 1 \right ...

Jak zapisać poniższe formuły korzystając z =, \le , +, \cdot , kwantyfikatorów i spójników logicznych?
Brak stałych jest dosyć dużym utrudnieniem.
Formuły dotyczą liczb naturalnych.
1. Nie istnieje największa liczba pierwsza.
2. Każda liczba nieparzysta większa od 3 jest sumą dwóch liczb pierwszych ...