Intereting Posts

Long time behavior heat equation on infinite line
Determine $\displaystyle \lim_{n \to \infty}{{n} \choose {\frac{n}{2}}}\frac{1}{2^n}$, where each $n$ is even
Calculate $\lim_{x\to 0}\frac{1}{x^{\sin(x)}}$
geometric proof of $2\cos{A}\cos{B}=\cos{(A+B)}+\cos{(A-B)}$
Classification of connected subsets of the real line (up to homeomorphism)
About the determination of complex logarithm
Monotonicity of function of two variables
I have a problem understanding the proof of Rencontres numbers (Derangements)
If $A \in M_{n \times 1} (\mathbb K)$, then $AA^t$ is diagonalizable.
Verify for $f(x,y)$, homogeneous of degree $n$: $xf_x+yf_y=nf$
Convergence of the taylor series of a branch of logarithm.
What is, exactly, a discrete group?
Minimum number of points chosen from an $N$ by $N$ grid to guarantee a rectangle?
Don't understand casting out nines
Is a complex number with transcendental imaginary part, transcendental?

In ZF classes are used informally to resolve Russells Paradox, that is the collection of all sets that do not contain themselves does not form a set but a proper class. But doesn’t the same paradox manifest itself when discussing the class of all classes that do not contain themselves?

- Does the open mapping theorem imply the Baire category theorem?
- If you have two envelopes, and …
- Using Axiom of Choice To Find Decreasing Sequences in Linear Orders
- Is Pigeonhole Principle the negation of Dedekind-infinite?
- Hamel bases without (too much) axiomatic set theory
- How does Ulam's argument about large cardinals work?
- Does $2^X \cong 2^Y$ imply $X \cong Y$ without assuming the axiom of choice?
- Does linear ordering need the Axiom of Choice?
- What do we call well-founded posets whose elements have a unique height?
- Proof of Uncountable Basis for $\mathbb{N} \to \mathbb{R}$ over $\mathbb{R}$

Classes in ZF are merely collections defined by a formula, that is $A=\{x\mid \varphi(x)\}$ for some formula $\varphi$.

It is obvious from this that every set is a class. However proper classes are not sets (as that would induce paradoxes). This means, in turn, that classes are not elements of other classes.

Thus discussion on “the classes of all classes that do not contain themselves” is essentially talking about sets again, which we already resolved.

Of course if you allow classes, and allow classes of classes (also known as hyper-classes or 2-classes) then the same logic applies you have have another level of a collection which you can define but is not an object of your universe.

- How to calculate this expression?
- What is the “status” of the rule that multiplication precedes addition.
- How to integrate $\cos^2x$?
- maximum curvature of 2D Cubic Bezier
- Absolutely continuous maps measurable sets to measurable sets
- Are all numbers real numbers?
- Recommending books for introductory differential geometry
- Inequalities from Taylor expansions of $\log$ functions
- Parallelogram law valid in banach spaces?
- What is the coefficient of $x^{2k}$ in the $n$-th iterate, $f^{(n)}(x)$, if $f(x)=1+x^2$?
- Weak Derivative Heaviside function
- Generating functions – deriving a formula for the sum $1^2 + 2^2 +\cdots+n^2$
- Semi-partition or pre-partition
- Derivative of the Frobenius norm with respect to a vector
- Proving that $\left(\frac{\pi}{2}\right)^{2}=1+\sum_{k=1}^{\infty}\frac{(2k-1)\zeta(2k)}{2^{2k-1}}$.