@leop___ @j_bertolotti @Quasilocal But then they invented/created/discovered complex numbers, an extension of real numbers and there you have a square root of -1. But the strict mathematical proofs are independent of time.