Peanoaksiomene definerer de aritmetiske egenskapene til , vanligvis representert som en mengde mengde eller signatur (et formelt språks ikke-logisk symboler) for aksiomene inkluderer et konstant symbol 0 og et unært funksjonssymbol .