>>72
「例外ないことを証明する」ってどうやるんだ？
総当たりするしか無いわけだが、それって未来への総当り検証は事実上不可能なわけでしょう？
ということは証明って常に暫定的なものってわけなのか？