Axiom of infinity

URI: https://gptkb.org/entity/Axiom_of_infinity
GPTKB entity
Statements (23)
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
https://www.w3.org/2000/01/rdf-schema#label Axiom of infinity
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