isFoundationFor

URI: https://gptkb.org/prop/isFoundationFor
289 triples
GPTKB property
Alternative names (3)
isFoundationOf • isStandardFoundationFor • istGrundlageFür
Random triples
Subject Object
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) functors
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) measurable spaces
gptkb:Lambda_calculus gptkb:Typed_Racket
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) fields
gptkb:ZFC_(with_axiom_of_choice) much of mathematics
gptkb:Lambda_calculus gptkb:PureScript
gptkb:Lambda_calculus Typed Prolog
gptkb:Lambda_calculus gptkb:Typed_Shen
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:Banach_spaces
gptkb:Lambda_calculus gptkb:Typed_Emacs_Lisp
gptkb:Lambda_calculus Typed Octave
gptkb:Basic_Sciences_and_Engineering innovation
gptkb:Lambda_calculus Typed Pascal
gptkb:Lambda_calculus gptkb:Typed_Kotlin
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) cardinals
gptkb:Constructive_set_theory constructive topology
gptkb:Higher_Order_Logic gptkb:PVS
gptkb:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice most of modern mathematics
gptkb:Lambda_calculus gptkb:Typed_Ruby
gptkb:Zermelo-Fraenkel_set_theory analysis