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...