Redigerer Metalogikk (avsnitt)

==Historie==
Metalogiske spørsmål har blitt stilt siden [[Aristoteles]]' tid. Likevel var det ikke før 1800- og 1900-tallet, med tidlig studier av formelt språk, at forskningen av det fundamentale innenfor logikken begynte for fullt. I 1904 oppdaget [[David Hilbert]] at i forskningen i den grunnleggende matematikken hadde forutsetninger til logiske forestillinger, derfor ble det nødvendig med [[Metamatematikk|metamatematiske]] og metalogiske prinsipper.{{tr}} 

I dag er metalogikk og metamatematikk hovedsakelig synonymer.