# Definition:Peano Structure

## Definition

A Peano structure $\struct {P, 0, s}$ comprises a set $P$ with a successor mapping $s: P \to P$ and a non-successor element $0$.

These three together are required to satisfy Peano's axioms.

## Also known as

A Peano structure is also known as a Dedekind-Peano structure.

## Source of Name

This entry was named for Giuseppe Peano and Richard Dedekind.

They were formulated by Peano, and were later refined by Dedekind.