User blog comment:DontDrinkH20/H-Boogol-Boogol: Hopefully a very big non-salad number/@comment-35470197-20180819021045/@comment-36540075-20180820001819

You don't understand: L(T) is the set of all symbols in ZFC. ZFC, while containing infinitely many TOTAL symbols, contains only finitely many DISTINCT symbols.