> That doesn't follow. If ZFC is trivially inconsistent then someone would probably have noticed by now and proved P && !P for some P and brought it crashing do

> That doesn't follow. If ZFC is trivially inconsistent then someone would probably have noticed by now and proved P && !P for some P and brought it crashing down. Ahh, the classic economic argument, “that’s not a $100 bill on the sidewalk, because if it was, someone else would have picked it up already”. That’s a great way of accepting everything blindly to justify not questioning things. It also means you are using popularity as a measure of truth. It’s fine if mathematicians don’t care if naturals are “actually infinite”, but then what’s the point in reasoning about infinity through math if technically you are not really saying anything, but you’re going in circles around your own definitions instead?