FOM: Platonism and social constructivism

[Martin Davis]

At 06:30 PM 3/25/98 +0300, sazonov at logic.botik.ru wrote:

>Thus, I would say that mathematical objects exist *only*
>together with and via some *formal* axioms, rules and
>principles. 

How do you reconcile this with G"odel's incompleteness theorem which I
understand to tell us that there are arithmetic truths transcending any
given formal system?

Martin