形式主義の偉大なる初期の発案者はダフィット・ヒルベルトであった。彼の計画は完全でかつ一貫性()のある数学の全ての公理化を目的としていた。(「一貫性、無矛盾性()」ここでは、システムに由来しうる矛盾がないことを意味する。)ヒルベルトは、「有限算術()」(哲学的議論にならないために選ばれた自然数の通例の算術のサブシステム)に矛盾がないという仮説から数学的体系の一貫性を示すことを目標とした。完全かつ矛盾のない数学システムを作るヒルベルトの目標は、十分に表現の富んだ矛盾のない公理体系はそれ自体の無矛盾性を決して証明できないことを述べたゲーデルの第二不完全性定理によって致命的な打撃を受けた。そのような公理体系はサブシステムとして有限算術を含んでいるため、ゲーデルの定理はそのような体系の有限算術に対する相対無矛盾性を証明できないことを含意する(もし証明できたとすると、その体系自体の無矛盾性を証明できたことになるが、ゲーデルの定理はこれが不可能であることを示しているためである)。従って、数学の任意の公理システムが実際に無矛盾であることを示すためには、その体系よりもある意味で強い体系の無矛盾性をまず仮定する必要がある。ヒルベルトは最初は演繹主義者だった。しかし、上記から明白に、彼は、本質的に意味のある結果をもたらすために、確実な超数学的方法()を熟考した。また、彼は有限算術に関しては現実主義者であった。後に、彼は解釈にかかわらずどんなものであれ、他の意味にある数学はないと考えた。形式主義者は通常、非常に寛容で論理学、非標準記数法、新しい集合論など、新しい試みを惹き付ける。我々が研究するゲームはよりよいものである。しかしながら、これらの例の三つすべてにおいて、自発性は既存の数学や哲学関連を題材にしている。「ゲーム」は普通、恣意的なものではない。形式主義の主な評論はゲーム以上の文字列操作から遠くかけ離れた数学者を占有する現実の数学的アイデアである。論理主義(数学)なお、哲学では、強力な還元主義が主要な立場になることは稀である。概要.石川五右衛門従来、その実在が疑問視されてきたが、イエズス会の宣教師であるペドロの日記の中に、その人物の実在を思わせる記述が見つかっている。江戸時代に創作材料として盛んに利用されたことで、高い知名度を得た。