I agree, there was a vast effort, but that was decades ago. As I said, most working mathematicians don't concern themselves with these issues and just stick wit

I agree, there was a vast effort, but that was decades ago. As I said, most working mathematicians don't concern themselves with these issues and just stick with ZFC.