Abstract

The concept of definability of physical fields in a set-theoretical foundation is introduced. A set theory is selected in which we get mathematics enough to produce a nonlinear sigma model. Quantization of the model requires only a null postulate and is then shown to be necessary and sufficient for definability in the theory. We obtain scale invariance and compactification of the spatial dimensions effectively. Three interesting examples of the relevance to physics are suggested.