فرمول ابطال‌پذیر

در دستگاهی مفروض، فرمولی بسته که نقیض آن در این دستگاه قابل استنتاج باشد