プリンキピア・マテマティカ
(もし正しければ)公開された証明は、これらのゲームの言葉で言えば、原理上体系立てられるが、その取り組みは、時間的にも空間的にも、恐ろしく手が出せないものを要求した（『プリンキピア・マテマティカ』序論を見よ）。加えて、そのルールはこれらの証明の初期の生成には必ずしも重要なものではない。形式主義は、公理体系を研究すべきだという疑問には無言でもある。