To enthrall mathematicians and the public, set theory needs intricate computer generated images, algorithms, results on finite algebras, and practical applications.
Full output ternary Laver table calculator
Warning: Endomorphic Laver table operations generally produce exponentially large outputs. The full output of an endomorphic Laver table operation is usually very large. Please use very small values for n (n≤4) and small terms to avoid crashing your browser.
For “term one”, “term two”, “term three”, the expression  is valid. If x and y are valid expressions, then [x,y] is also a valid expression, and the only valid expressions are built inductively using these two rules. For example, [,[[,[,]],]] is a valid expression. The valid expressions represent terms in the language with one variable and one binary function symbol.