矛盾スレスレといってもそもそも無矛盾性の証明が不可能でf(a)=bやf(a)<bが本当は正しくても事実上証明できない曖昧さが残る