Wat is de betekenis van Metamathematica?

Wordt ook bewijstheorie genoemd. Bestudeert de in de wiskunde gebruikte begrippen, in het bijzonder de eigenschappen van formele systemen (zie axiomastelsel). De term wordt tegenwoordig vaak beperkt tot analyses die voortkomen uit die van D. Hilbert (1862-1943). Hij legde aan de metamathematica finitistische restricties op die hij voor de wiskunde...

v., (ook: bewijstheorie), de theorie waarin de bewijsmethoden van de wiskunde onderzocht worden. De metamathematica werd geïntroduceerd door D.Hilbert. De uitspraken van de metamathematica zijn uitspraken over wiskundige uitspraken. Zo is de bewering ‘3 x 4 = 12’ een wiskundige uitspraak, maar de bewering: “‘3 x 4 = 12&...