「公理」のはなし - Sokratesさんの備忘録ないし雑記帳むしゃくしゃしたので，数学での「公理(Axiom)」について語ろうと思う．雑多な文章の寄せ集めで，特にオチがあるわけではないので，そういうのが苦手な人は回れ右して帰ると良い． 「公理」の２つの用法 「公理」に正しさ？ 公理と対象の存在 どのような命題を「公理」とするか 総括 参考文献 関連記事 「公理」の２つの用法 数学が他の諸科学学問*1と大きく異なる点として，認められている手段が「演繹」による推論の列である「証明」のみにあることにある*2．この推論の列は有限の列なので当然，議論の出発点に当たるような主張（命題）があり，これを「公理(Axiom)」と呼んでいる*3． 議論の出発点という点は変わらないものの，時代によって「公理(Axiom)」という言葉は次の異なる２つの意味で用いられてきた[Shoenfield1967，Kunen2009]． （正しい）信念についての言明 Statemen
