What Is Abstraction?

What Is Geometry?

What Is Proof?

What Is Similarity?

Infinitesimals. Non-standard Analysis

More about proofs

What's in a proof?