哥德爾不完備定理 日期篩選