下が古い.上が新しい.間は他所

2009-04-25

と書いておきながら,あれが無矛盾であることの厳密な証明はしていないので,わかりませーん.とりあえず,無限後退に陥ると予想.