Metawiskunde
Uit Wikipedia, de vrije encyclopedia
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.
De term metawiskunde wordt ook gebruikt voor bepaalde elementaire onderdelen van de formele logica, in het bijzonder de propositielogica en de predicatenlogica.