>チェックできない（けど正しいとされている）定理って例えば何ですか？
>一つだけでいいので挙げてください。

どうせ哲学者は知らないだろうね。ないんだから。