ピアノ公理から出てくる定理の一つの例を教えてください。Peano Axiomsから選択した定理を推測できる論理的なプロセスを簡単に説明してください。
¿Podrías ponerme un ejemplo de uno de los teoremas que se desprenden de los axiomas de Peano? Por favor, explícame de manera sencilla el proceso lógico por el cual es posible inferir a partir de los axiomas de Peano el teorema que elijas.