TY - RPRT TI - A synthetic Gannon-Lee incompleteness theorem AU - Mathias Braun AU - Carlo Rotolo PY - 2026 UR - https://arxiv.org/abs/2602.14246 ID - 2602.14246 ER -