I think a best informal way to state the theorem is Hardy's:(adsbygoogle = window.adsbygoogle || []).push({});

every positive integer (except the number 1) can be represented in exactly one way apart from rearrangement as a product of one or more primes

But clearly, this statement does not reveal the structure of the statement in the formal language the first order theory. Can you re-state this theorem by only using the first order language elements such as "for all" "there exists" and variable and so on? You can obviously use sets.

I'm having trouble especially on stating the concepts of "a product" and "rearrangement" in the formal language.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# How to state fundamental theorem of arithmetic in a formal way?

Loading...

**Physics Forums | Science Articles, Homework Help, Discussion**