آوین‌پذیری

همچنین شناخته شده با: اثبات‌پذیری
برابر انگلیک (انگلیسی): provability