Sparkle's Incompleteness Theorem (or "Highly Irregular Arithmetic ")

by darf