Тут нужна аксиома Эскобара.