書けるんじゃないの？我々が実空間に実装されているため、理論的というか理想的な事柄を想像できないだけで。正しいことは存在するでしょう。我々が生きている世界では証明できないだけで。
もちろん全知全能な人や集団は実際には存在しないし、正しさのチェックにどれぐらい工数がかかるか不明ですが。