A060601 Astraendo Folio Peano Arithmetic

miser>astraendo> 2006>06> A060601> 0.00 2007-11-11 -11:26 -0800

This is an initial placeholder.  This will be expanded as a project definition as we dig in a little more.  Meanwhile, there is already this:

• A040601c: What It Is
• A060601a: Diary & Job Jar

0.00 2006-06-06-13:02 Create initial placeholder for project (orcmid)

It is time to nail down what Peano Arithmetic is for our study of the connections among abstractions, formal axiomatic systems, and systems of computation.