Axiom of infinity

URI: https://gptkb.org/entity/Axiom_of_infinity

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:Titan gptkb:set_theory
gptkbp:category	gptkb:logic
gptkbp:expressedIn	gptkb:First-order_logic
gptkbp:formedBy	gptkb:Ernst_Zermelo 1908
gptkbp:implies	Existence of natural numbers as a set
gptkbp:introducedIn	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:partOf	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:relatedTo	gptkb:Axiom_of_extensionality gptkb:Axiom_of_pairing gptkb:Axiom_of_power_set gptkb:Axiom_of_regularity gptkb:Axiom_of_union gptkb:Axiom_of_choice gptkb:Axiom_schema_of_replacement gptkb:Axiom_schema_of_separation
gptkbp:state	There exists an infinite set
gptkbp:usedIn	gptkb:Mathematics gptkb:Set_theory
gptkbp:bfsParent	gptkb:Menge
gptkbp:bfsLayer	5
https://www.w3.org/2000/01/rdf-schema#label	Axiom of infinity