Definition:Peano Structure

From ProofWiki
Jump to: navigation, search

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.


Also see