タルスキ
走り書き
真理
は
括弧
を外すこと
みたいな話の人
消去
的な