گویایی آوین‌پذیری

همچنین شناخته شده با: منطق اثبات پذیری
برابر انگلیک (انگلیسی): Provability logic