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)	gptkb:set-theoretic_topology
gptkb:Zermelo_set_theory	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	gptkb:combinatorics
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	most of mathematics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	model categories
gptkb:Spezielle_Relativitätstheorie	Relativistische Quantenfeldtheorie
gptkb:Minkowski-Raum	Lichtkegel
gptkb:Spezielle_Relativitätstheorie	Relativistische Quantenmechanik
gptkb:Lambda_calculus	gptkb:Typed_Elixir
gptkb:Turingmaschine	Algorithmustheorie
gptkb:Lambda_calculus	gptkb:Nix
gptkb:Lambda_calculus	gptkb:Typed_R7RS
gptkb:Lambda_calculus	ML
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	algebraic varieties
gptkb:Lambda_calculus	gptkb:Typed_Dart
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:Banach_spaces
gptkb:Stochastic_gradient_descent	gptkb:RMSprop
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:model_theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	connected spaces
gptkb:Lambda_calculus	gptkb:Typed_Gambit_Scheme