Jónsson term
= Jónsson term
{wiki=Jónsson_term}
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.