The problem is that for most interesting math, we can only assume without proof that there is logical consistency.
The problem is that for most interesting math, we can only assume without proof that there is logical consistency.