A Theorem of Legendre in I0+1
Abstract
We prove a classical theorem due to Legendre, about the existence of non trivial solutions of quadratic diophantine equations of the form ax2+by2+cz2=0, in the weak fragment of Peano Arithmetic I0+1.
0
We prove a classical theorem due to Legendre, about the existence of non trivial solutions of quadratic diophantine equations of the form ax2+by2+cz2=0, in the weak fragment of Peano Arithmetic I0+1.