isFoundationFor

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

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	measure theory
gptkb:Constructive_set_theory	constructive analysis
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	compact spaces
gptkb:Einsteins_spezielle_Relativitätstheorie	gptkb:Spezielle_Relativistische_Dynamik
gptkb:Peano_arithmetic	arithmetic
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	Boolean algebras
gptkb:Minkowski-Raum	Lichtkegel
gptkb:Spezielle_Relativitätstheorie	Relativistische Elektrodynamik
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	sequences
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:Hilbert_spaces
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	ordinal numbers
gptkb:ZFC_(with_axiom_of_choice)	modern set theory
gptkb:Lambda_calculus	gptkb:OCaml
gptkb:Lambda_calculus	gptkb:Typed_JavaScript
gptkb:Sīla	samadhi (concentration)
gptkb:Lambda_calculus	Unison
gptkb:Lambda_calculus	Typed Bash
gptkb:The_Ethernet	IoT networks
gptkb:Lambda_calculus	gptkb:Typed_Hy
gptkb:Lambda_calculus	gptkb:Typed_Zig