the Metamath Proof Explorer has over 8,000 completely worked out proofs in logic and set theory, interconnected with over a million hyperlinked cross-references.
The aleph null above is the symbol for the first infinite cardinal number, discovered by Georg Cantor in 1873 (see theorem aleph0). This is the starting page for the Metamath Proof Explorer subproj...
the Metamath Proof Explorer has over 8,000 completely worked out proofs in logic and set theory, interconnected with over a million hyperlinked cross-references.
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Proof Explorer - Home Page - Metamath
The aleph null above is the symbol for the first infinite cardinal number, discovered by Georg Cantor in 1873 (see theorem aleph0). This is the starting page for the Metamath Proof Explorer subproj...
2 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／