English Ordinal analysis Cited by user C7XWiki on 21 Sep 2023 In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength.