Metateoria

In logica matematica, scienza che ha per oggetto una teoria, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli.