Books on Amazon
|Infinity Axiom||Berka I 474
Existence/existence acceptance/Tarski: Problem: if we now eliminate the existential conditions in the axioms, so the corresponding allocation disappears - every expression will continue to correspond with a natural number, but not vice versa to any natural number an expression -> axiom of infinity.
Berka I 519
Axiom of infinity/Tarski: with him, we renounce the postulate according to which only the right statements in each individual domain should be provable propositions of logic.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983