Matematyka.pl

Napisz formułę z jedną zmienną wolną n, która (interpretowana w zbiorze liczb naturalnych) mówi, że n jest liczbą pierwszą.

\(\displaystyle{ (n-1)!+1 \equiv 0 (mod n )}\)

Coś w tym stylu?

ooj wydaje mi się, że to chyba coś prostszego..

Na przykład:
\(\displaystyle{ n\ge 2\land(\forall x)(x|n \Rightarrow x=1 \lor x=n)}\).

Oczywiście, pytanie może wymagać bardziej wyrafinowanej odpowiedzi. Ale wtedy trzeba wiedzieć np. w jakim języku powinna być napisana ta formuła.

JK

o to chodziło