Carleb the Axiomatic