> No those terms can seep through as "defined" terms, ZF for example > which is generally regarded as a formal system in which mathematics is > faithfully interpreted (founded)
Really? Despite Skolem's "paradox"?
-- The animated figures stand Adorning every public street And seem to breathe in stone, or Move their marble feet.