Ordinalanalyse

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine beweistheoretische Methode, die formalen Theorien wohlor­dnete Ordnungszahlen oder Ordnungsnotatio­nen zuweist, um ihre Konsistenzstärke, induktive/­kombinatorische Komplexität und die Stärke ihrer transfiniten Induktionsprinzipien zu messen.