Statements (67)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory
|
| gptkbp:aimsTo |
provide a foundation for mathematics
|
| gptkbp:basedOn |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:contains |
axioms of set theory
|
| gptkbp:developedBy |
gptkb:Willard_Van_Orman_Quine
|
| gptkbp:hasRelatedPatent |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Quine's New Foundations
|
| gptkbp:introduced |
stratified comprehension
|
| gptkbp:isActiveIn |
critical essays
mathematical philosophy |
| gptkbp:isAttendedBy |
mathematical logicians
|
| gptkbp:isChallengedBy |
constructivist approaches
non-standard set theories |
| gptkbp:isCitedBy |
philosophers
mathematical philosophers set theorists |
| gptkbp:isConsidered |
philosophers of mathematics
alternative_to_ZF_set_theory |
| gptkbp:isCriticizedFor |
gptkb:Paul_Benacerraf
|
| gptkbp:isDescribedAs |
philosophical debates
journal articles philosophical journals |
| gptkbp:isDiscussedIn |
conferences
online forums mathematical literature logicians mathematical seminars academic communities |
| gptkbp:isExaminedBy |
educational resources
historical context philosophical texts academic discussions textbooks on set theory historical reviews |
| gptkbp:isExploredIn |
research papers
formal proofs philosophy of mathematics graduate studies logical analysis logic courses |
| gptkbp:isInfluencedBy |
gptkb:Hilbert's_program
set-theoretic foundations foundational studies Frege's_logic |
| gptkbp:isPartOf |
modern logic
alternative logics contemporary mathematics classical set theory other set theories Quine's_legacy Quine's_philosophical_work |
| gptkbp:isReferencedIn |
academic papers
scholarly articles theses encyclopedias textual analyses |
| gptkbp:isRelatedTo |
category theory
axiomatic set theory logical positivism |
| gptkbp:isSupportedBy |
axiomatic systems
|
| gptkbp:isTaughtIn |
university courses
|
| gptkbp:isUsedIn |
mathematical logic
|
| gptkbp:isUtilizedFor |
mathematicians
|
| gptkbp:isUtilizedIn |
theoretical computer science
theoretical frameworks logical frameworks |
| gptkbp:publishedIn |
1937
|