Girard's paradox
Zermelo-Fraenkel set theory
Curry's paradox
Gödel's incompleteness theorem
paradoxographical
paradoxy
Paris-Harrington theorem
S
foundherentism
contraspective
submarine paradox
paradoxically
contrary
equilogical
Yablo's paradox
Gleason's theorem
axiomatic system
axiom of infinity
Boolean algebra
non-classical logic
paradox
conservative extension
metalogic
duality
Burali-Forti paradox
logical proof
antilogism
connote
clinamen
raven paradox
formal logic
counterinstance
inconsistency
quantum logic
rational root theorem
setoid
logiclessness
contradiction
no-go theorem
alethiology
false equivalence
t-norm fuzzy logic
linear logic
SYZ conjecture
soundness
Weierstrass-Lindemann theorem
philosopheme
abstract universal
Zermelo-Fraenkelian
MRDP theorem
Loschmidt's paradox
paradoxicality
paradoxally
informal fallacy
paradoxer
Nullstellensatz
Zermelo set theory
Cantor-Bendixson theorem
completeness
material implication
contradictory
Tractarian
atomic
logistic
logicism
paradoxicalness
weakening
axiom of extensionality
forcing
Ramsey number
countertheorem
paradoxician
theorem
fuzzy logic
hyperjump
noncommutability
ramified forcing
Hurewicz theorem
NBG
Gentzenization
Grothendieck universe
logicist
logicomathematical
posit
Pythagorean proposition
Kochen-Specker theorem
Hodge decomposition
postulate
many-valued logic
NOT
off-by-one error
alogism
predicate
alogical

English words for 'A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.'

As you may have noticed, above you will find words for "A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries