De Ordinaal-analyse van Determinisme-theorieën (3E017319)

Ordinale analyse is de tak van bewijstheorie die zich richt op het kwantificeren van de sterkte van een wiskundige theorie of verklaring door er een 'getal' aan toe te kennen. Deze getallen zijn ordinale getallen, natuurlijke uitbreidingen van het telnummer tot het transfiniete.