The philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications.

• 哲学理论认为形式（逻辑或数学）陈述没有意义，陈述的符号表现形式有实用性。