b"\n_START_ARTICLE_\nMetalogikk\n_START_PARAGRAPH_\nMetalogikk er stuiden om den metateoretiske delen av logikk. Logikkstudier viser oss hvordan logiske systemer kan brukes til \xc3\xa5 konstruere gyldige og solide argumenter, mens metalogiske studier viser oss egenskapene til logiske systemer. Logikk omfatter hendelser som kan avledes ved hjelp av et logisk system; metalogikk omfatter hendelser som kan avledes og om de formelle spr\xc3\xa5kene og systemene som brukes til \xc3\xa5 uttrykke disse hendelsene._NEWLINE_Det mest grunnleggende innenfor metalogiske studier er formelle spr\xc3\xa5k, formelle systemer, og deres tolkning. Studien av tolkningen til formelle systemer kalles modellteori, og stuiden om deduktive systemer kalles bevisteori.\n_START_SECTION_\nHistorie\n_START_PARAGRAPH_\nMetalogiske sp\xc3\xb8rsm\xc3\xa5l har blitt stilt siden Aristoteles' tid. Likevel var det ikke f\xc3\xb8r 1800- og 1900-tallet, med tidlig studier av formelt spr\xc3\xa5k, 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\xc3\xb8dvendig med metamatematiske og metalogiske prinsipper. _NEWLINE_I dag er metalogikk og metamatematikk hovedsakelig synonymer."