care applying principle set formation formally known axiom comprehension mathematicians usually take granted nelson points fallacy reasoning ist ''illegal set formation'' instance set ist whose elements precisely standard integers ' 'standard'' understood sense new predicate avoid illegal set formation one must use predicates zfc define subsets ref name nel another example syntactic approach alternative set theory introduced petr vop nka trying find set theory
Formal science Mathematics Pure mathematics Analysis Non-standard analysis