You've reached the Java package section for illustration of Peano Arithmetic (pa).
It is a peculiar characteristic of PA that it is the term use for the logical theory in which numbers and logical aspects of arithmetic are formalized. This level is reserved for a theoretical treatment and to address what is meant about an arithmetic in mathematics, computation, and logic.
To deal with instances of arithmetics themselves, we make separate introduction of Peano Numerals which can be interpreted as manifestations of the Numbers about which arithmetic is conducted. Peano Numbers are in some sense what PA (the theory) speaks of as theoretical entities, and Peano Numerals are (usually formal) manifestations of them.
We manifest Peano Numbers in a subordinate section, just in case there is need for more-abstracted and theoretical framework at an intervening level. The idea would be to deal with the Peano Arithmetic logical system here, if that is called for.
This web page,
is part of the engineering, construction management, maintenance, and infrastructure of
Orcmid's Lair. It is placed here, as in every section of the site, as a
placeholder, initial scaffolding, and temporary "home page" while
the section is under construction. That can be for an extended
You are welcome to explore this and other construction-information pages. You'll need your hard hat and safety shoes.