# File:CardContin.svg

Size of this PNG preview of this SVG file: 30 × 22 pixels. Other resolutions: 320 × 235 pixels | 640 × 469 pixels | 800 × 587 pixels | 1,024 × 751 pixels | 1,280 × 939 pixels.

Original file (SVG file, nominally 30 × 22 pixels, file size: 7 KB)

## File history

Click on a date/time to view the file as it appeared at that time.

Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|

current | 00:31, 25 June 2007 | 30 × 22 (7 KB) | 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 |

## File usage

More than 100 pages use this file. The following list shows the first 100 pages that use this file only. A full list is available.

- Almost
- Ineffable cardinal
- Logic for Computable Functions
- Open formula
- Strong cardinal
- Superstrong cardinal
- Talk:Abelian category
- Talk:Additive category
- Talk:Aleph number
- Talk:Arithmetical hierarchy
- Talk:Automorphism
- Talk:Axiom
- Talk:Axiom of choice
- Talk:Axiom of extensionality
- Talk:Axiom of regularity
- Talk:Axiom schema of replacement
- Talk:Banach–Tarski paradox
- Talk:Barber paradox
- Talk:Berry paradox
- Talk:Binary relation
- Talk:Boolean algebra (structure)
- Talk:Burali-Forti paradox
- Talk:Cantor's diagonal argument
- Talk:Cardinal number
- Talk:Category theory
- Talk:Class (set theory)
- Talk:Cofinality
- Talk:Combinatory logic
- Talk:Commutative diagram
- Talk:Compactness theorem
- Talk:Conjecture
- Talk:Consistency
- Talk:Constructive analysis
- Talk:Continuum hypothesis
- Talk:Contradiction
- Talk:Countable set
- Talk:Currying
- Talk:De Morgan's laws
- Talk:Definable real number
- Talk:Directed set
- Talk:Disjoint sets
- Talk:Disjunction elimination
- Talk:Empty set
- Talk:Equality (mathematics)
- Talk:Equivalence relation
- Talk:Existential quantification
- Talk:Finite set
- Talk:Foundations of mathematics
- Talk:Free variables and bound variables
- Talk:Fuzzy logic
- Talk:Goodstein's theorem
- Talk:Gödel's completeness theorem
- Talk:Gödel's incompleteness theorems
- Talk:Gödel numbering
- Talk:Hausdorff maximal principle
- Talk:Hilbert's paradox of the Grand Hotel
- Talk:If and only if
- Talk:Intuitionism
- Talk:Kernel (category theory)
- Talk:Lambda calculus
- Talk:Liar paradox
- Talk:Logical conjunction
- Talk:Mathematical induction
- Talk:Mathematical proof
- Talk:Model theory
- Talk:Null set
- Talk:Ordered pair
- Talk:Ordinal number
- Talk:Presburger arithmetic
- Talk:Primitive recursive function
- Talk:Prisoner's dilemma
- Talk:Proof theory
- Talk:Quantification
- Talk:Recursion
- Talk:Recursively enumerable language
- Talk:Rice's theorem
- Talk:Richard's paradox
- Talk:Russell's paradox
- Talk:Set (mathematics)
- Talk:Set theory
- Talk:Structural induction
- Talk:Subset
- Talk:Total order
- Talk:Transfinite induction
- Talk:Truth table
- Talk:Truth value
- Talk:Turing completeness
- Talk:Turing machine
- Talk:Type theory
- Talk:Ultrafinitism
- Talk:Unification (computer science)
- Talk:Union (set theory)
- Talk:Universal quantification
- Talk:Universe (mathematics)
- Talk:Vacuous truth
- Talk:Venn diagram
- Talk:Wang tile
- Talk:Well-defined
- Talk:Well-order
- Talk:Well-ordering theorem

View more links to this file.

## Global file usage

The following other wikis use this file:

- Usage on el.wikipedia.org
- Usage on ja.wikipedia.org
- 可算集合
- 反例
- 背理法
- アッカーマン関数
- 対称差
- 証明
- 逆
- 推論
- ファジィ集合
- 補題
- 任意
- 恒真式
- 形式論理学
- 予想
- オイラー図
- 型理論
- 二重否定の除去
- アリティ
- カット除去定理
- 裏 (論理学)
- 有限モデル理論
- クレイグの補間定理
- 議論領域
- 量子論理
- フレーゲの定理
- プリンキピア・マテマティカ
- 空関数
- ハイティング代数
- 強制法
- 新基礎集合論
- 整礎的集合
- 整礎関係
- チャーチ・ロッサーの定理
- クレパ木
- 対角線共通部分
- 決定性公理
- 定数関数
- 比例記号
- ディック言語
- ハルトークス数
- 直積順序
- 空集合の公理
- ファイバー (数学)
- Template:Settheory-stub
- 許容順序数
- 低基底定理
- 中間論理
- Template:Mathlogic-stub
- 後者関数

View more global usage of this file.