Cobham Axioms

From dankwiki