Comment by zozbot234
You can use equivalence relations and quotients w/ a computable foundation, you just need to rephrase what you mean by equality. See e.g. Kevin Buzzard's nice explanation at https://xenaproject.wordpress.com/2025/02/09/what-is-a-quoti...
Right, I'm aware you can, it's just much trickier to do it rigorously. But I suppose that may be more a comfort thing. Thanks for the link!