Mathematics can describe concepts abstractly, like a type checker checking a program, even if we can't decide whether the program halts or not In that sense, w

Mathematics can describe concepts abstractly, like a type checker checking a program, even if we can't decide whether the program halts or not In that sense, we might be able to use mathematics to describe systems that are beyond the reality of the universe For 'us' to be meaningful to 'them', hopefully we can conclude that in some sense, 'they' are meaningful to 'us', tho agreed, as you said, it is no given I like the aleph sequence, because it shows that allowing paradoxes and impossibilities doesn't mean all bets are off -- that the universe can make perfect sense, even containing paradoxes that are beyond our conception