|Existence, philosophy, logic: the fact that there is something to which properties can be attributed. That does not mean that something has to be given immediately or can be perceived by the senses. See also ontology, properties, predicates, existence statements, realism, quantification, ascription.|
Books on Amazon
|Berka I 474
Existence / existence assumption / Tarski: Problem: If we eliminate the existential conditions in the axioms, so that the biunique correspondence disappears - each expression will continue to match a natural number, but not vice versa to any nat. n. an expression -> axiom of infinity.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983