という命題が真であることを検証するには 人類最後の一人が死んだことを確認する必要があるが、 それを確認するための人が必要なので、 永遠に実証不能である。