| s.f. Lógica Estudo das propriedades de um sistema formal [S] por meio de uma metalíngua. (Se o sistema formal [S] representa as matemáticas, a teoria que toma [S] como objeto é chamada metamatemática. A metateoria de uma teoria dedutiva estuda fundamentalmente os conceitos de não-contradição e de independência dos axiomas.) |
