証明法

出典: フリー教科書『ウィキブックス(Wikibooks)』
ナビゲーションに移動 検索に移動

証明法

基本的な論理記号[編集]

∧,¬,∃,=,∈


公理[編集]

集合外延性の公理Extensionality ∀x,y (∀z (z∈x⇔z∈y)⇒x=y)
内包の公理Comprehension Schema∃y,∀x(x∈y⇔x∈z∧φ)
対の公理Pairing ∀x,y,∃z(x∈z∧y∈z)
和集合の公理Union ∀ʄ,∃A,∀Y,∀x(x∈Y∈ʄ⇒x∈A)
置換公理Replacement
自然数無限の公理Infinity∃x(0∈x∧∀y∈x(S(y)∈x))