[carnitine]

The axioms allowing one to express enough of arithmetic for Goedel’s methods to apply. As the comment says.