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)	computability theory
gptkb:Blue_Lodge_Freemasonry	gptkb:Freemasonry
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC)	modern mathematics
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	gptkb:combinatorics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	smooth manifolds
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	measure theory
gptkb:Lambda_calculus	gptkb:Typed_Gambit_Scheme
gptkb:Lambda_calculus	gptkb:LambdaProlog
gptkb:Lambda_calculus	gptkb:Typed_V
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:category_theory
gptkb:Zermelo–Fraenkel_set_theory	most of modern mathematics
gptkb:ZFC_(with_choice)	most of modern mathematics
gptkb:Constructive_set_theory	constructive topology
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	schemes
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	higher category theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	lattices
gptkb:Spezielle_Relativitätstheorie	Relativistische Thermodynamik
gptkb:Lambda_calculus	gptkb:Typed_Hy
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	abstract algebra
gptkb:Turingmaschine	Theorie der Berechenbarkeit