Wiktionary
derivability
n. The condition of being derivable
n. The condition of being derivable