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

جز
←‏مجموعه غیرقابل شمارش: تبدیل برچسب اچ‌تی‌ام‌ال با استفاده از AWB
جز (تمیزکاری، + ماژول ابرابزار با استفاده از 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>,
| ...)
|}