Metawiskunde is de studie van
wiskunde aan de hand van
wiskundige modellen. Uit dergelijke disciplines komen
metatheorieën voort, in dit geval wiskundige theorieën met betrekking tot andere wiskundige theorieën. Metawiskundige
metastellingen werden in de 19e eeuw nog onderscheiden van gewone wiskundige
stellingen in verband met de
grondslagencrisis in de wiskunde. De paradox van Richard uit 1905 is een goed voorbeeld van de problemen, die zich als gevolg van tegenspraak kunnen voordoen, wanneer wiskunde niet van metawiskunde wordt onderscheiden.