De esta manera, designe formula_7 la totalidad de las cosas (un conjunto no numerable), tal que formula_8, entonces