私たちは、数学を「単なる記号列を変形していくゲーム」とみなします🎮
それを機械に行わせるべく、ルールを決めます。

ルールは完全・厳密でなくても機械化できればOKと考えます。
一部のルールは未完のまま放置されていますし、新しいルールが追加される可能性があります。
詳しいルールは補足のページにあるかもしれません。

web上でクリックすると出てくるものを注釈と言います。クイズなんかもできます。今日は？

ものを並べたものを列と言います。私たちは列を扱います。
列は誤解を生みうるものです。10 は「数字の十」とも「1,0の列」とも取れます。文脈から判断!?
自然言語ではsymbolの列として単語が、単語の列として文が、文の列として文章が作られます。
また、文は意味が考慮され入れ子(nested)列になります。
　I think that that that that that boy wrote is wrong.