فرمول ابطالپذیرrefutable formulaواژههای مصوب فرهنگستاندر دستگاهی مفروض، فرمولی بسته که نقیض آن در این دستگاه قابل استنتاج باشد