Copyright (c) メンズアイテム All Rights Reserved.

レディースアイテム

レディースアイテム



レディースアイテムレディースアイテム



レディースアイテムブログになります。







用語

無限公理(むげんこうり、英: axiom of infinity)とは公理的集合論におけるZF公理系を構成する公理の一つで、無限集合の存在を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。



正則性公理(せいそくせいこうり、英: axiom of regularity)は、別名基礎の公理(きそのこうり、英: axiom of foundation) とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。