One of the Zermelo-Fraenkel axioms, also known as the axiom of regularity (Rubin 1967, Suppes 1972). In the formal language of set theory, it states that

where  means implies,  means exists,  means AND,  denotes intersection, and  is the empty set (Mendelson 1997, p. 288). More descriptively, "every nonempty set is disjoint from one of its elements."

The axiom of foundation can also be stated as "A set contains no infinitely descending (membership) sequence," or "A set contains a (membership) minimal element," i.e., there is an element of the set that shares no member with the set (Ciesielski 1997, p. 37; Moore 1982, p. 269; Rubin 1967, p. 81; Suppes 1972, p. 53).

Mendelson (1958) proved that the equivalence of these two statements necessarily relies on the axiom of choice. The dual expression is called -induction, and is equivalent to the axiom itself (Itô 1986, p. 147).

REFERENCES:

Ciesielski, K. Set Theory for the Working Mathematician. Cambridge, England: Cambridge University Press, 1997.

Dauben, J. W. Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton, NJ: Princeton University Press, 1990.

Itô, K. (Ed.). "Zermelo-Fraenkel Set Theory." §33B in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 1. Cambridge, MA: MIT Press, pp. 146-148, 1986.

Mendelson, E. "The Axiom of Fundierung and the Axiom of Choice." Archiv für math. Logik und Grundlagenfors. 4, 67-70, 1958.

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

Mirimanoff, D. "Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles." Enseign. math. 19, 37-52, 1917.

Moore, G. H. Zermelo's Axiom of Choice: Its Origin, Development, and Influence. New York: Springer-Verlag, 1982.

Neumann, J. von. "Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre." J. reine angew. Math. 160, 227-241, 1929.

Neumann, J. von. "Eine Axiomatisierung der Mengenlehre." J. reine angew. Math. 154, 219-240, 1925.

Rubin, J. E. Set Theory for the Mathematician. New York: Holden-Day, 1967.

Suppes, P. Axiomatic Set Theory. New York: Dover, 1972.

Zermelo, E. "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930.

اخر الاخبار

اخبار العتبة العباسية المقدسة

جمعية كشافة الكفيل: المجالس الحسينية تعلّم الفتية قيم نهضة الإمام الحسين (عليه السلام)

عَبرَ المجالس الحسينية.. المجمَع العلمي يقدّم محاضرات دينية وتلاوات قرآنية في بغداد والنجف وميسان

برعاية العتبة العباسية المقدسة.. موكب قناديل السماء يُحيي مراسم اليوم الثالث عشر من المحرّم

بعد انتهاء مراسم ذكرى دفن الأجساد الطاهرة قسم رعاية الصحن يباشر بحملة تنظيف واسعة لصحن مرقد أبي الفضل العباس (عليه السلام)

المزيد

الآخبار الصحية

لكبح الجوع وخسارة الوزن.. "سر بسيط" في نظام جوكوفيتش ؟

هل يساعد الرجيم في علاج الأمراض العقلية؟

لحماية أسنان طفلك.. هذا الفيتامين يقلل خطر التسوس

أكل الطعام بسرعة.. طريق سريع إلى أمراض خطيرة

المزيد

الآخبار التكنلوجية

ما هي أفضل درجة حرارة لتكييف الهواء في السيارة؟

ذوبان الأنهار الجليدية يوقظ "عمالقة نائمة"!

9 يوليو يشهد أقصر يوم في التاريخ المسجل ؟!!

راتبه عشرات ملايين الدولارات.. زوكربرغ يخطف "عقل أبل"

المزيد