[JackFr]

> Any species would prove the exact same theorems given the same axioms

Assume there exists at least one species....