isFoundationFor

URI: https://gptkb.org/prop/isFoundationFor

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	functional analysis
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	functional analysis
gptkb:Constructive_set_theory	constructive type theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:logic
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC)	gptkb:mathematics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	fields
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:model_theory
gptkb:Lambda_calculus	gptkb:Coq
gptkb:ZFC_for_sets	modern set theory
gptkb:untyped_lambda_calculus	functional programming
gptkb:The_Ethernet	home networks
gptkb:The_Ethernet	Internet connectivity
gptkb:Minkowski-Raum	Kausalstruktur
gptkb:Lambda_calculus	gptkb:Typed_Kawa
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	discrete spaces
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:category_theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	measure theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	model categories
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	locally compact spaces
gptkb:Lambda_calculus	gptkb:Agda