Question: Using quantifiers, give a formal expression for the following statement:
"The natural number p is prime"
A prime is a natural number whose unique positive divisors are and
So we can write for : "the natural number is a prime"
What you call formal may depend on what symbols you can use. If only a symbol for multiplication is allowed (and the division one isn't), it becomes: