In the paper translated here, Carnap and Bachmann shows that the apparently metalinguistic ?extremal' axioms that are added to some axiom systems to the effect that the foregoing axioms are to apply as broadly, or as narrowly, as possible may be formulated directly as proper axioms. They analyze such axioms into four fundamental types, with the help of a concept of ?complete? isomorphism.

Three indexes have been compiled: authors of main articles (including our special departments such as ‘Projects in progress’ and ‘Notes and discussions’); essay reviews; and book reviews. Co-author...