scuola logica polacca, sul modello di metamatematica). -per estens.: linguaggio
che è proprio, che concerne la metamatematica, cioè la teoria della dimostrazione (
cioè la teoria della dimostrazione (v. metamatematica). - anche: sintattico,