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


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