My comment on Kevin Buzzard's intervention: https://groups.google.com/d/msg/metamath/Fgn0qZEzCko/bvVem1BZCQAJ https://groups.google.com/d/msg/metamath/Fgn0qZEzC

My comment on Kevin Buzzard's intervention: https://groups.google.com/d/msg/metamath/Fgn0qZEzCko/bvVem1BZCQAJ https://groups.google.com/d/msg/metamath/Fgn0qZEzCko/bvVem1B... Link list of the discussion threads: https://owlofminerva.net/kubota/update-to-the-foundations-of-mathematics/ https://owlofminerva.net/kubota/update-to-the-foundations-of...