反証性
Refutability
常に非可証性と同じかと言われるとそうでないケースもある．非可証性と反証性について
Jeroslow文，R. G. Jerosow; "Consistency statements in formal theories"など？
この性質をより陽に扱う証明可能性論理などもある
Lev D. Beklemishev, D. Shamkanov, "Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics"