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)	cohomology theories
gptkb:Lambda_calculus	gptkb:Typed_Arc
gptkb:ZFC_(with_Axiom_of_Choice)	much of mathematics
gptkb:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice	most of modern mathematics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:combinatorics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	real analysis
gptkb:The_Ethernet	automotive networks
gptkb:The_Ethernet	network interface cards
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	functional analysis
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	probability spaces
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	abstract algebra
gptkb:ZF_set_theory	most of modern mathematics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	natural transformations
gptkb:Spezielle_Relativitätstheorie	Relativistische Quantenfeldtheorie
gptkb:Lambda_calculus	Typed Smalltalk
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	modules
gptkb:Lambda_calculus	Typed Mathematica
gptkb:Stochastic_gradient_descent	gptkb:Adam_optimizer
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	sigma-algebras
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	ordinal numbers