基礎論界隈では命題の真偽が10年でひっくり返るのかw