User blog comment:Tetramur/Well-defined Oblivion number (I think)/@comment-35470197-20200106221111/@comment-34857597-20200106225358

"every countable theory can be described by a single symbol"

No. the "in" e symbola and A "for all" symbol are two different symbols right?