On Language Levels of a Theory

Abstract

Because of meaning differences we need to distinguish language levels of a theory. Three types od deductive consequences are discussed with respect to these levels.

Keywords

• meaning difference
• Gentzen system
• deductive consequence