Tag: goodstein-sequences

Jul 05, 2026

• goodstein-sequences
• hereditary-base-notation
• number-theory
• ordinal-numbers
• peano-arithmetic
• proof-theory

Jun 23, 2026

• recursive-subtraction
• goodstein-sequences
• hereditary-base-notation
• transfinite-ordinals
• number-theory
• peano-arithmetic

Jun 21, 2026

• number-representation
• goodstein-sequences
• mathematical-logic
• recursive-expansion
• ordinal-numbers