The process of Mathemathics

Search for Pattern

Abstraction

Theorising

Proof

Application