non-derivable en · ADJ
Etymology
From non- + derivable.
Meanings
-
(not-comparable) Not derivable; uncapable of being derived.
Here, then, is an example of an arithmetical statement that may be true, but may be non-derivable from the axioms of arithmetic.
1989, Ernest Nagel, James R. Newman, Godel's Proof: