ordinal-arithmetic
Ordinal Arithmetic: An Ordinal-First Metalanguage Approach to Definable Arithmetic Truth