> as lemmas
non-derivability
non-derivability n.
Brit. 
/ˌnɒndᵻrʌɪvəˈbɪlᵻti/
, /ˌnɒndᵻrʌɪvəˈbɪlᵻti/U.S. /ˌnɑndəˌraɪvəˈbɪlᵻdi/
/ˌnɑndəˌraɪvəˈbɪlᵻdi/ΚΠ
1915 Jrnl. Philos., Psychol. & Sci. Methods 12 617 Men..accepted as basic facts the superiority of the psychic over the material and the non-derivability of the inner life from any material cause.
1964 G. Kreisel in P. Benacerraf & H. Putnam Philos. of Math. 157 Hilbert emphasized the consistency problem which is so to speak the weakest non-derivability result.
<
as lemmas