Related terms:
new foundations
holds for all
finite graph
nonstandard model
consistency strength
outer face
every simple
membership relation
plane graph
proper class
graph may
notin
axiom of separation
zermelo set theory
cantor's theorem
polish academy of sciences
warsaw university
embeddings
dual graph
surjective function
polish academy
grafo
ordinals
mathematics department
ordered pair
powerset
Wikipedia sources:
Kazimierz Kuratowski
Ordered pair
Finite set
Planar graph
New Foundations
Context for words:
kuratowski
|
|