Professor Ricardo Alencar ensina os axiomas de Peano sobre números naturais Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano. Esses axiomas vêm sendo utilizados praticamente sem modificações em diversas investigações metamatemáticas, incluindo pesquisas em questões fundamentais de consistência e completude da teoria dos números. AXIOMA é uma premissa considerada necessariamente evidente e verdade. o axioma é fundamento para uma demonstração matemática, porém ele mesmo é indemonstrável, origem de outras demonstrações, princípios inatos da consciência (razão), ou generalizações da observação empírica. AXIOMAS DE PEANO 1 OS NÚMEROS NATURAIS contém a unidade 1 2 Existe N chamada função sucessora que associa cada elemento de n pertencente a N o seu sucessor n mais 1. Portanto a função é injetora e qual...