証明法

このページ「証明法」は、まだ書きかけです。加筆・訂正など、協力いただける皆様の編集を心からお待ちしております。また、ご意見などがありましたら、お気軽にトークページへどうぞ。

証明法

基本的な論理記号

∧,￢,∃,＝,∈

公理

集合	外延性の公理	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))