Consistent Dependent Math