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)	complex analysis
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:model_theory
gptkb:untyped_lambda_calculus	gptkb:logic
gptkb:Lambda_calculus	Typed Prolog
gptkb:Lambda_calculus	gptkb:Typed_Hy
gptkb:Lambda_calculus	gptkb:Typed_Rust
gptkb:The_Ethernet	virtualization networks
gptkb:Spezielle_Relativitätstheorie	Relativistische Elektrodynamik
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	number theory
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	number theory
gptkb:Lambda_calculus	gptkb:Typed_Guile_Scheme
gptkb:Higher_Order_Logic	gptkb:HOL_Light
gptkb:propositional_calculus	gptkb:many-valued_logic
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	sequences
gptkb:Peano_arithmetic	elementary number theory
gptkb:Blue_Lodge_Freemasonry	gptkb:Freemasonry
gptkb:Lambda_calculus	gptkb:Nix
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	mathematical objects
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	measurable spaces
gptkb:Spezielle_Relativitätstheorie	Relativistische Hydrodynamik