フィリピン カジノ 両替（読み）フィリピン カジノ 両替 （英語表記）interpretation 英語

一つの理論で、証明なしに主張されている命題を、その理論の公理とよぶことにしよう。この公理を述べるのに使われている単語のフィリピン カジノ 両替は、その理論の使われる場面によって明らかであることも多い。しかし、数学などでは、逆に、この単語のフィリピン カジノ 両替をわざと不定にしておくこともある。たとえば、
　aとbとの間にRが成り立てば、bとaとの間にもRが成り立つ。

　このこフィリピン カジノ 両替、Rという関係が、可逆的であることを述べている公理であるが、このRが具体的にどういう関係を表しているかについては何も述べてない。そうして、Rが兄弟関係であっても、「同一の平面上にある」という関係であっても、この公理は成り立つ。このほか、無数の関係についてこの公理が成り立つこフィリピン カジノ 両替、少し考えてみれば明らかであろう。このように、わざと単語のフィリピン カジノ 両替を不定にしておくことで、一組の公理が多くの事柄に当てはまるようになり、数学の応用の範囲が広くなるということがあるのである。この不定なことばのフィリピン カジノ 両替を理論の応用の場合などに確定させることを、この公理の組のフィリピン カジノ 両替という。

論理学には、このフィリピン カジノ 両替でのフィリピン カジノ 両替の一般論を、集合論を応用して調べる分野があり、これをモデル理論という。とくに興味深いのは、集合論自体についてのモデル理論である。フィリピン カジノ 両替と反対に、フィリピン カジノ 両替のよくわかった事柄を論理記号を使って厳密な公理論の形に表すことを「形式化」という。

［吉田夏彦］