Dann gibt es nichts zu beweisen, da die Definition der Addition schon so formuliert ist, dass + eine Verknuepfung ist. Wie soll es auch anders sein, wenn die Peano-Axiome gerade die natuerlichen Zahlen definieren (und sonst nichts). Kann ich dann im Rahmen der Peano-Axiome 5+7 := "ein Sack Ostereier" definieren? Offensichtlich nicht.
Bestenfalls kann man bewisen, dass Die Definition m+0 := m und m+n' := (m+n)' sinnvoll und eindeutig ist, aber das ist ein anderes Thema (Rekursionssatz).