{"version":"1.0","type":"link","title":"Ordinal notation - Newikis","description":"In mathematical logic and set theory, an ordinal notation is a partial function mapping the set of all finite sequences of symbols, themselves members of a finite alphabet, to a countable set of ordinals. A Gödel numbering is an injective function mapping the set of well-formed formulae (a finite…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}