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


تاربرگ‌های پیموده‌شده در این نشست: پی. اس. نویکوف ⟩ پل ریچارد هالموس