Analyse Ordinale

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une méthode proof-théorique qui associe à des théories formelles des ordinaux bien ordonnés ou des notations ordinales afin de mesurer leur force de consistance, leur complexité inductive/combinatoire et la puissance de leurs principes d'induction transfini.