On Language Levels of a Theory

Abstrakt

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.

Klíčová slova

• meaning difference
• Gentzen system
• deductive consequence