Re: Formalizing the Fundamental Theorem of Arithmetic

On May 23, 6:07 pm, G. Frege <nomail@invalid> wrote:
On 23 May 2007 14:59:51 -0700, mmwe...@xxxxxx wrote:



I was wondering how to state the Fundamental Theorem of Arithmetic in
First-order Logic.

There is a reason why standard math (usually) is performed without
using a completely formalized language... ;-)

Math is formal by definition. If you can't state it in FOL then FOL
is fucked up.

C-B

F.

P.S.
Of course, ELEMENTS from FOPL (quantifiers, variables and =) and
set theoretic notations are rather helpful when formulating some
mathematical facts.

--

E-mail: info<at>simple-line<dot>de


.