My comment on Kevin Buzzard’s intervention:
https://groups.google.com/d/msg/metamath/Fgn0qZEzCko/bvVem1BZCQAJ
Link list of the discussion threads:
https://owlofminerva.net/kubota/update-to-the-foundations-of-mathematics/
Perhaps you can add some context to the question/discussion?
There is so much to read on those threads…what is the core of what is happening and what this thread is suppose to initiate?