『non-provability』は英語に由来し、接頭辞『non-』と名詞『provability』から成る。『non-』は「〜でない」、『provability』は「証明されうる性質」を意味する。

『provability』は中英語・古フランス語の語形（例：'proven'/'prover'）を経て、ラテン語『probare』に由来し、現代英語の『provability』となった。否定接頭辞『non-』はラテン語の『non』から英語に取り入れられ、『non-provability』という合成語ができた。

語根の『prove』は当初「試す・検査する」を意味し、次第に「真理を示す・証明する」に変化した。その結果『provability』は「証明されうる能力」を意味し、『non-provability』は「証明できないこと」を表すようになった。