動物の権利
今日の動物の権利に関する議論は、最も初期の哲学者たちまでさかのぼることが可能であろう。紀元前6世紀のギリシアの哲学者であり数学者でもあったピュタゴラスは輪廻転生を信じていたため、動物に敬意を払うように主張した。一方、同じアテナイ人であるアリストテレスは紀元前4世紀の著作の中で、動物は理性を持たないため自身の権利はなく人間の利益のためにだけ存在しているとし、存在の偉大なる連鎖 () --あるいは自然の階梯 (scala naturae) --の中で人間よりもはるか下方に位置すると論じた。
形式主義 (数学)
もうひとつの形式主義は演繹主義としてよく知られる。演繹主義では、ピタゴラスの定理は絶対的真実ではなく、相対的なものだが、もしあなたがゲームのルールが真実となるといった方法で文字列を考えているならば（いいかえれば、真の命題は公理に割り当てられ、推論と真実の保存のルールに割り当てられる）、そのときあなたは、その理論を受け入れなければならない。いやむしろ、あなたがそれに与えた解釈は真の命題でなければならない。同値はすべての他の数学的記述に関して真であると見なされる。従って、形式主義は数学が無意味な象徴ゲームでしかないことを意味する必要はない。それは通常、ゲームに適用するルールの様々な解釈が存在することが望まれている。（構造主義をこの立場になぞらえる） しかし、数学者が仕事を継続し哲学者や科学者にそのような問題を残すことは、数学者が働くことを可能にする。多くの形式主義者らは、実際に、研究された公理体系は、科学への要求や数学以外の分野によって提案されると言うだろう。
形式主義の偉大なる初期の発案者はダフィット・ヒルベルトであった。彼の計画は完全でかつ一貫性（）のある数学の全ての公理化を目的としていた。（「一貫性、無矛盾性（）」ここでは、システムに由来しうる矛盾がないことを意味する。） ヒルベルトは、「有限算術（）」（哲学的議論にならないために選ばれた自然数の通例の算術のサブシステム）に矛盾がないという仮説から数学的体系の一貫性を示すことを目標とした。完全かつ矛盾のない数学システムを作るヒルベルトの目標は、十分に表現の富んだ矛盾のない公理体系はそれ自体の無矛盾性を決して証明できないことを述べたゲーデルの第二不完全性定理によって致命的な打撃を受けた。そのような公理体系はサブシステムとして有限算術を含んでいるため、ゲーデルの定理はそのような体系の有限算術に対する相対無矛盾性を証明できないことを含意する（もし証明できたとすると、その体系自体の無矛盾性を証明できたことになるが、ゲーデルの定理はこれが不可能であることを示しているためである）。従って、数学の任意の公理システムが実際に無矛盾であることを示すためには、その体系よりもある意味で強い体系の無矛盾性をまず仮定する必要がある。