>>1
Instead of asking people to use code tags, ask the BBS authors to make all posts
monospace(thus eliminating need for code tags and preserving text formatting) without wrap.
Name:
FrozenVoid2011-10-07 2:33
Also,its not hard to run a userscript to add custom monospace style, though i prefer to read code in Verdana(as text).
Name:
Anonymous2013-08-31 22:55
The intuition behind the formal definition of cardinal is the construction of a notion of the relative size or "bigness" of a set without reference to the kind of members which it has. For finite sets this is easy; one simply counts the number of elements a set has. In order to compare the sizes of larger sets, it is necessary to appeal to more subtle notions.
Name:
Anonymous2013-08-31 23:40
Georg Cantor formalized many ideas related to infinity and infinite sets during the late 19th and early 20th centuries. In the theory he developed, there are infinite sets of different "sizes" (called cardinalities).
Name:
Anonymous2013-09-01 0:25
In 1584, the Italian philosopher and astronomer Giordano Bruno proposed an unbounded universe in On the Infinite Universe and Worlds: "Innumerable suns exist; innumerable earths revolve around these suns in a manner similar to the way the seven planets revolve around our sun. Living beings inhabit these worlds."
Name:
Anonymous2013-09-01 1:11
The above systems can be modified to allow urelements, objects that can be members of sets but that are not themselves sets and do not have any members.
Name:
Anonymous2013-09-01 1:56
However, the set existence axioms of NBG are restricted so that they only quantify over sets, rather than over all classes. This causes NBG to be a conservative extension of ZF.
Name:
Anonymous2013-09-01 2:41
Another argument against the axiom of choice is that it implies the existence of counterintuitive objects. One example is the Banach–Tarski paradox which says that it is possible to decompose ("carve up") the 3-dimensional solid unit ball into finitely many pieces and, using only rotations and translations, reassemble the pieces into two solid balls each with the same volume as the original.
Name:
Anonymous2013-09-01 3:26
Other choice axioms weaker than axiom of choice include the Boolean prime ideal theorem and the axiom of uniformization. The former is equivalent in ZF to the existence of an ultrafilter containing each given filter, proved by Tarski in 1930.