Abstract

A notation for the language of physics is given, and a system of axioms constructed. It is argued that from the standpoint of a 'realistic' ontology our method is preferable to Carnap's 'coordinate languages.' The primitive ideas are the part-whole relation μ and the set H of coordinate systems. Only such statements are intended in the axioms as are non-controversial; i.e. no open cosmological questions are prejudged