元のファイル (SVG ファイル、30 × 22 ピクセル、ファイルサイズ: 7キロバイト)
解説CardContin.svgtwo-to-the-aleph-null. For mathlogic-stub template. Comes from PNG rendering of LaTeX; 2 ? 0 {\displaystyle 2^{\aleph _{0}}} (<math>2^{\aleph_0}</math>).
このファイルは、ウィキメディア・コモンズから呼び出されています。
このファイルは、他のプロジェクトで使用されている可能性があります。
このファイルの解説やノートへの記入、履歴などの詳細の確認は、ウィキメディア・コモンズのファイルページ（ノート/履歴/ログ）を使用してください。
ウィキメディア・コモンズのファイルページにある説明を、以下に表示します。
日付2007年6月25日
原典en:Image:CardContin.png
作者en:User:Trovatore, recreated by User:Stannered
許可
(ファイルの再利用)PD/ineligible
その他のバージョンen:Image:CardContin.png
Public domainPublic domainfalsefalse
この著作物は、完全に常識的な情報から構成され創作性を欠くために、著作権発生の資格がなく、故にパブリックドメインの状態にあります。 過去の版のファイルを表示するには、その版の日時をクリックしてください。 日付と時刻サムネイル寸法利用者コメント 以下の? 66 ページがこのファイルを使用しています:
キャプション日本語このファイルの内容を1行で記述してください
このファイルに描写されている項目
題材\u6210\u7acb\u65e5"}},"text\/plain":{"ja":{"":"\u6210\u7acb\u65e5"}}},"{\"value\":{\"time\":\"+2007-06-25T00:00:00Z\",\"timezone\":0,\"before\":0,\"after\":0,\"precision\":11,\"calendarmodel\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q1985727\"},\"type\":\"time\"}":{"text\/html":{"ja":{"P571":"25 6 2007"}},"text\/plain":{"ja":{"P571":"25 6 2007"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P571 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">
成立日
25 6 2007\u30e1\u30c7\u30a3\u30a2\u30bf\u30a4\u30d7"}},"text\/plain":{"ja":{"":"\u30e1\u30c7\u30a3\u30a2\u30bf\u30a4\u30d7"}}},"{\"value\":\"image\\\/svg+xml\",\"type\":\"string\"}":{"text\/html":{"ja":{"P1163":"image\/svg+xml"}},"text\/plain":{"ja":{"P1163":"image\/svg+xml"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P1163 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">
メディアタイプ
image/svg+xml\u30c1\u30a7\u30c3\u30af\u30b5\u30e0"}},"text\/plain":{"ja":{"":"\u30c1\u30a7\u30c3\u30af\u30b5\u30e0"}}},"{\"value\":\"ec13b02b415d2d1042b21662a56311d33f8a2042\",\"type\":\"string\"}":{"text\/html":{"ja":{"P4092":"ec13b02b415d2d1042b21662a56311d33f8a2042"}},"text\/plain":{"ja":{"P4092":"ec13b02b415d2d1042b21662a56311d33f8a2042"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":459,\"id\":\"P459\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ja":{"":"\u4f7f\u7528\u3055\u308c\u305f\u624b\u6bb5\u30fb\u624b\u6cd5"}},"text\/plain":{"ja":{"":"\u4f7f\u7528\u3055\u308c\u305f\u624b\u6bb5\u30fb\u624b\u6cd5"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":13414952,\"id\":\"Q13414952\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ja":{"P459":"SHA-1"}},"text\/plain":{"ja":{"P459":"SHA-1"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P4092 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">
チェックサム
ec13b02b415d2d1042b21662a56311d33f8a2042使用された手段・手法: SHA-1\u30c7\u30fc\u30bf\u30b5\u30a4\u30ba"}},"text\/plain":{"ja":{"":"\u30c7\u30fc\u30bf\u30b5\u30a4\u30ba"}}},"{\"value\":{\"amount\":\"+6660\",\"unit\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q8799\"},\"type\":\"quantity\"}":{"text\/html":{"ja":{"P3575":"6,660 \u30d0\u30a4\u30c8"}},"text\/plain":{"ja":{"P3575":"6,660 \u30d0\u30a4\u30c8"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P3575 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">
データサイズ
6,660 バイト\u5168\u9ad8"}},"text\/plain":{"ja":{"":"\u5168\u9ad8"}}},"{\"value\":{\"amount\":\"+22\",\"unit\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q355198\"},\"type\":\"quantity\"}":{"text\/html":{"ja":{"P2048":"22 \u30d4\u30af\u30bb\u30eb"}},"text\/plain":{"ja":{"P2048":"22 \u30d4\u30af\u30bb\u30eb"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P2048 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">
全高
22 ピクセル\u5168\u5e45"}},"text\/plain":{"ja":{"":"\u5168\u5e45"}}},"{\"value\":{\"amount\":\"+30\",\"unit\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q355198\"},\"type\":\"quantity\"}":{"text\/html":{"ja":{"P2049":"30 \u30d4\u30af\u30bb\u30eb"}},"text\/plain":{"ja":{"P2049":"30 \u30d4\u30af\u30bb\u30eb"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P2049 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">
全幅
30 ピクセルファイルの履歴
現在の版2007年6月25日 (月) 00:31
ファイルの使用状況
アッカーマン関数
アリティ
オイラー図
カット除去定理
クレイグの補間定理
クレパ木
シュタイニッツ数
スーダン関数
ダウンタック記号
チャーチ・クリーネ順序数
チャーチ・ロッサーの定理
ディック言語
ハイティング代数
ハルトークス数
ハルモス代数
ファイバー (数学)
ファジィ集合
フレーゲの定理
プリンキピア・マテマティカ
メタ言語
メレオロジー
中間論理
二重再帰法
二重否定の除去
代替集合論
任意
低基底定理
共終数
反例
可算集合
四値論理
型理論
始順序数
定数関数
実効記述集合論
対称差
対角線共通部分
強制法
形式論理学
後者関数
恒真式
推論
整礎的集合
整礎関係
新基礎集合論
有限モデル理論
有限交叉性
比例記号
無矛盾
直積順序
空関数
空集合の公理
緩成長階層
背理法
裏 (論理学)
補題
