Ӳкерчĕк:CardContin.svg
SVG файлӑн PNG умкурӑмӗн калӑпӑшӗ: 30 × 22 пиксел. Ытти разрешенисем: 320 × 235 пиксел | 640 × 469 пиксел | 1024 × 751 пиксел | 1280 × 939 пиксел | 2560 × 1877 пиксел.
Оригиналлӑ файл (SVG файлӗ, йӗркеллӗ виҫе 30 × 22 пкс, файл калӑпӑшӗ: 7 Кб)
| Ӑнлантарни |
two-to-the-aleph-null. For mathlogic-stub template. Comes from PNG rendering of LaTeX; (<math>2^{\aleph_0}</math>). |
| Дата | |
| Ҫӑлкуҫ | en:Image:CardContin.png |
| Автор | en:User:Trovatore, recreated by User:Stannered |
| Ирӗклӗхсем (Ку файлпа тепре усӑ курни) |
PD/ineligible |
| Другие версии | en:Image:CardContin.png |
|
Это произведение не защищается авторским правом, так как является тривиальным, не несёт художественной ценности, состоит только из общеизвестных элементов, не имеющих авторства. |
Файл историйĕ
Вӑхӑт ҫине пуссан, ун чухнехи версине пӑхма пулать.
| Дата/Вăхăт | Миниатюра | Калӑпӑш | Хутшăнакан | Асăрхав | |
|---|---|---|---|---|---|
| хальхи | 00:31, 25 Ҫӗртме уйӑхӗн 2007 | | 30 × 22 (7 Кб) | Stannered | {{Information |Description=two-to-the-aleph-null. For mathlogic-stub template. Comes from PNG rendering of LaTeX; <math>2^{\aleph_0}</math> (<code><nowiki><math>2^{\aleph_0}</math></nowiki></code>). |Source=en:Image:CardContin.png |Date=2007-06-25 |A |
Файлпа усă курни
Ку файлпа ҫак 2 страницӑра усӑ курнӑ:
Файлпа глобаллӑ усӑ курасси
Ку файлпа ҫак викисенче усӑ курнӑ:
- en.wikipedia.org усӑ курасси
- Logic for Computable Functions
- Open formula
- Strong cardinal
- Superstrong cardinal
- Almost
- Successor function
- Extendible cardinal
- Ramsey cardinal
- Erdős cardinal
- Subtle cardinal
- Abstract structure
- Shelah cardinal
- Remarkable cardinal
- Tav (number)
- Computable measure theory
- Conull set
- Cocountability
- Unfoldable cardinal
- Coherent space
- Paraconsistent mathematics
- Axiom of real determinacy
- Principle of distributivity
- Classical mathematics
- Axiom of projective determinacy
- Cantor–Dedekind axiom
- Diagonal intersection
- Subclass (set theory)
- Strongly compact cardinal
- Extension by new constant and function names
- Reduced product
- Generic filter
- Cabal (set theory)
- Square principle
- Takeuti's conjecture
- Finite character
- Inductive set
- Computable isomorphism
- Lightface analytic game
- Superposition calculus
- UTM theorem
- Truth-table reduction
- Template:Mathlogic-stub
- Tarski–Kuratowski algorithm
- Θ (set theory)
- AD+
- Algebraic semantics (mathematical logic)
- Michael D. Morley
- Effective descriptive set theory
- Rowbottom cardinal
- Jónsson cardinal
Ку файлпа глобальлӗ епле усӑ курнине пӑх.
