non-derivable

Here, then, is an example of an arithmetical statement that may be true, but may be non-derivable from the axioms of arithmetic.