استدلال قطری کانتور: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز تمیزکاری، + ماژول ابرابزار با استفاده از AWB
جز ←‏مجموعه غیرقابل شمارش: تبدیل برچسب اچ‌تی‌ام‌ال با استفاده از AWB
خط ۸۶:
| ''s''<sub>1</sub>
| =
| (<u>'''0'''</u>,
| ۰,
| ۰,
خط ۹۸:
| =
| (۱,
| <u>'''1'''</u>,
| ۱,
| ۱,
خط ۱۱۰:
| (۰,
| ۱,
| <u>'''0'''</u>,
| ۱,
| ۰,
خط ۱۲۲:
| ۰,
| ۱,
| <u>'''0'''</u>,
| ۱,
| ۰,
خط ۱۳۴:
| ۰,
| ۱,
| <u>'''0'''</u>,
| ۱,
| ۱,
خط ۱۴۶:
| ۱,
| ۰,
| <u>'''1'''</u>,
| ۱,
| ...)
خط ۱۵۸:
| ۱,
| ۰,
| <u>'''0'''</u>,
| ...)
|-
خط ۱۶۶:
| ''s''
| =
| (<u>'''1'''</u>,
| <u>'''0'''</u>,
| <u>'''1'''</u>,
| <u>'''1'''</u>,
| <u>'''1'''</u>,
| <u>'''0'''</u>,
| <u>'''1'''</u>,
| ...)
|}