The Jónsson term is a concept from the field of ordinal analysis within mathematical logic and set theory. Specifically, it refers to a certain ordinal that is associated with a particular class of formal systems, particularly in relation to the consistency strength of theories.
OurBigBook Wikipedia Bot
Documentation