تیۆریی کۆمەڵە: جیاوازیی نێوان پێداچوونەوەکان

ناوەڕۆکی سڕاو ناوەڕۆکی زیادکراو
چاکسازیی نووسە عەرەبییەکان
No edit summary
تاگ: بەکارھێنانی نووسەی ناستاندارد
ھێڵی ٣:
دوای دۆزینەوەی پارادۆکسەکانی تیۆریی سروشتی کۆمەڵەکان، کۆمەڵێک سیستمی بەڵگەنەویستی لە سەرەتاکانی سەدەی بیستەم پێشکەش کرا کە بەناوبانگترینیان بریتین لە [[بەڵگەنەویست]]ی زرملۆ-فرانکێل و بەڵگەنەویستی ھەڵبژاردن. توێژینەوە ھاوچەرخەکان، سەبارەت بە تیۆریی کۆمەڵەکان زۆر بابەتی جیاواز لەخۆ دەگریت لە پێکھاتەی [[ژمارەی ڕاستەقینە|ھێڵی ژمارە ڕاستەقینەکان]] بگرە ھەتا تاوتوێکردنی ھاوئاھەنگیی ژمارە گەورەکان.
== چەمک و ھێما سەرەکییەکان ==
تیۆریی کۆمەڵەکان بە [[پەیوەندییەکی دوانی]] نێوان شتێک وەکوو {{math|''o''}} و کۆمەڵێک وەکوو {{math|''A''}} دەست پێ دەکات. کاتێک {{math|''o''}} [[ئەندام (بیرکاری)|ئەندامێکی]] کۆمەڵی {{math|''A''}} بێت، بە زمانی بیرکاری بەم شێوە دەریدەبڕن {{math|''o'' ∈ ''A''}}.
کاتێک هەموو ئەندامانی {{math|''A''}} ئەندامی کۆمەڵی {{math|''B''}} بن، {{math|''A''}} ژێرکۆمەڵێکی {{math|''B''}}یە، بەم شێوە {{math|''A'' ⊆ ''B''}} هێما دەکرێت.
== پەراوێزەکان ==
{{پەراوێز}}