恆真式或同义反覆（由于定义的原因它们总是真的），数学公理和定理——这些表述不容许逻辑上反例的存在。对理论的佐证虽然认可了合理性，但与逻辑实证主义经验能证实理论的确证不同，佐证是暂时的。一些哲学家和科学家（如卡尔·波普尔）宣称：一切从经验得来的假说、命题和理论必须逻辑上容许反例的存在，才是科学的。一个主张“可证伪”并不意味着这个主张是“假”的。宗教和伪科学是不可证伪的。
定义.如果一个主张是可证伪的，则至少在理论上存在一种观测的方法（即使实际上没有进行这项观测也无妨），来表明这个主张