Set theory - Wikipedia, the free encyclopedia
Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that ...
en.wikipedia.org/wiki/Set_theory
List of set theory topics - Wikipedia, the free encyclopedia
This page is a list of articles related to set theory. • Algebra of sets Algebra of sets • Axiom of choice Axiom of choice • Axiom of countable choice Axiom of countable choice • Axiom of dependent ch...
en.wikipedia.org/wiki/List_of_set_theory_topics
Set theory proof problem Precalculus Mathematics discussion ... Set theory proof problem Share It Thread Tools Search this Thread ... Similar Threads for: Set theory proof problem...
www.physicsforums.com/showthread.php?t=164853
KEYWORDS: Textbook, Platonism, intuition and the nature of mathematics, Axiomatic set theory, First order arithmetic, Hilbert's Tenth problem, Incompleteness theorems, ... KEYWORDS: Parse trees, Alpha graphs (Peirce), Begriffsschrift notation (Frege), Polish notation, Truth tables, Normal forms, Proof builder, Proof checker...
archives.math.utk.edu/topics/logic.html
Browse College Logic and Set Theory ... Are Different Proofs of a Theorem Really the Same? [07/05/2006] If you have a mathematical system with several axioms (call them A, B, C, D, E and F), is it possible to have two proofs of a theorem in this system where one proof uses only axioms A, B, and C and the other proof uses...
mathforum.org/library/drmath/sets/college_logic.html mathforum.org/library/drmath/sets/college_logic.html
If set theory (or quantum logic) is more your style, Metamath should be sufficient to keep you for a while, although it can get hard to follow due to lack of prose. (Gotta love the proof that x=x.) - Casey Schneider-Mizell (MetaFilter)
metamath.org/
Georg Cantor's set theory proof of the existence of numbers larger than infinity still fascinates me to this day. He named them transfinite numbers. Here is a non-technical description of it.
members.tripod.com/~Robleh/cantor_set_theory.htm members.tripod.com/~Robleh/cantor_set_theory.htm
Notes in set theory ... Notes in symbolic logic ... Notes on methods of proof...
www.math.csusb.edu/notes/cgi/contents.cgi
School Lounge > Math Forum > Math Symbolic > set theory proof ... View Full Version : set theory proof ... Nancy Dorff-Pennea wrote: The problem is given subsets A and B of a universal set U, if A is a subset of B then prove that B complement is a subset of A complement. I've seen what I suppose is the standard proof,
schools.mylounge.com/archive/index.php/t-103280.html
Discrete Math - Set Theory / Identity / Proof For all sets A, B, and X, Prove the attachment with the use of laws such as DeMorgan, distributive, etc. Union,. ... Union of Sets - Set X = {6,9,12,15,18,20}, ... Union power proof - Undergraduate senior level Real Analysis. Please show me formal math proofs. Prove that the union of...
www.brainmass.com/homework-help/math/discrete-optimizat... www.brainmass.com/homework-help/math/discrete-optimization/76457