predicative mathematics

basic constructions: strong axioms further Predicative mathematics is a way of doing mathematics without allowing impredicative definitions. Informally, a definition is impredicative if it refers to a totality which includes the thing being defined. For example, the definition of a particular real number as the least upper bound of a given set is impredicative, because it characterizes as a particular element of some set (the upper bounds of ) which includes . Possibly can be defined in some...