About: ST type theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Axiom_schema dbr:Individual dbr:New_Foundations dbr:Axiom_of_extensionality dbr:Signature_(logic) dbr:Transfinite_number dbr:Axiom_of_reducibility dbr:First-order_logic dbr:Principia_Mathematica dbr:Leon_Henkin dbr:Identity_(mathematics) dbr:Atomic_formula dbr:Infix dbr:Type_theory dbr:Free_variable dbr:Infinity dbr:Ordered_pair dbr:Reflexive_relation dbc:Type_theory dbr:Binary_relation dbr:Axiom_scheme dbr:Model_theory dbr:Transitive_relation dbr:Logical_equivalence dbr:Urelement dbr:Scott–Potter_set_theory dbr:Successor_function dbr:Axiom_of_infinity dbr:Natural_number dbr:Ontology_(information_science) dbr:Total_order dbr:Domain_of_discourse dbr:ZFC dbr:Relation_(mathematics) dbr:Axiomatic_set_theory dbr:Peter_B._Andrews_(mathematician) dbr:Q_zero dbr:Peano_arithmetic dbr:P.T._Johnstone dbr:Higher_order_logic dbr:Inductive_set_(axiom_of_infinity) dbr:Type_constructors dbr:Lambda-signature
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Expand_section dbt:Refend dbt:Refbegin
dct:subject	dbc:Type_theory
rdfs:label	ST type theory (en) ST类型论 (zh)
owl:sameAs	freebase:ST type theory wikidata:ST type theory dbpedia-zh:ST type theory dbpedia-global:ST type theory dbr:ST type theory
prov:wasDerivedFrom	wikipedia-en:ST_type_theory?oldid=1211094152&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:ST_type_theory
is dbo:wikiPageWikiLink of	dbr:Type_theory
is foaf:primaryTopic of	wikipedia-en:ST_type_theory

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International