Mathematics: The Game

PrefaceEdit

The GameEdit

SetsEdit

The NumbersEdit

Natural NumbersEdit

DefinitionEdit

next(x)=x\cup\left\{x\right\}

Inductive(J)\iff(\empty\in J \and (\forall n | n\in J \implies next(n)\in J))

\mathbb N =\left\{x|(\forall J | Inductive(J)\implies x\in J)\right\}

Basic AnalysisEdit

Basic AlgebraEdit

Basic TopologyEdit

Intro to ManifoldsEdit

Last modified on 2 October 2010, at 01:45