语言
没有数据
通知
无通知
論理
あたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた
ここで P は A の冪集合 P ( A ) {\displaystyle {\mathcal {P}}(A)} を表す。この公理を通常の言葉で言い直すと、次のようになる： 任意の集合 A が与えられたとき、ある集合 P ( A ) {\displaystyle {\mathcal {P}}(A)}
的個人主義により、社会の中の様々な現象を捉えようとする考え方の一つである。また方法論的個人主義と並んで個人の合理性が合理的選択理論の前提的な仮定だが、合理性とは個人が自己の効用を最大化するように行動することを指す（個人的合理性）。 近代経済学、とくにその主流となる新古典派経済学の古典的
公理的意味論（こうりてきいみろん、Axiomatic Semantics）とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。 代数的意味論（英語版） プログラム意味論 述語変換意味論 表示的意味論 操作的意味論 表明 (プログラミング) 表示 編集
推論 > 論理的推論 論理的推論（ろんりてきすいろん、英: logical reasoning）は、論理学において演繹、帰納、アブダクション（仮説形成）の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
など）に対してのみ真であるのに対し、真理関数的恒真式は、それが含む論理連結語（「または〈or〉」、「かつ〈and〉」、否定論理和〈nor〉など）に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。 論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる
数理論理学、特にモデル理論および超準解析における内的集合（ないてきしゅうごう、英: internal set）は、何らかの（集合論的）モデルの要素となる集合を言う。 内的集合の概念は、（実数全体の成す集合 ℝ の性質と超実数と呼ばれるより大きな体 *ℝ の持つ性質との間の論理的な関係を取りなす）移
搜索 
