Similar to Template:集合論

Template:Common logical symbols

Template:Mathematical logic

Template:Logical connectives

List of alternative set theories

Set theory

Non-well-founded set theory

Extension (semantics)

Intension

Set (mathematics)

List of statements independent of ZFC

Aronszajn tree

Hereditarily finite set

Universe (mathematics)

Euler diagram

Ω-logic

Interesting number paradox

Enumeration

Support (mathematics)

Connected relation

Cantor set

Cantor's diagonal argument

Cantor's theorem

Cardinal number

Computable set

Inverse function

Cofinality

Admissible ordinal