Mathematical foundations are needed that are much more suitable to modern Computer Science than using "universes".
For an example see the following article:
https://papers.ssrn.com/abstract=3603021
Also, see the following video:
https://www.youtube.com/watch?v=AJP1VL7shiI