Mathematics is abstract and yet widely applicable. What are the unifying ideas and techniques that make mathematics an effective language and tool? What are the processes that constitute mathematical activity? How are concepts and abstractions layered on top of each other giving mathematics its structure? How does the notion of proof provide rigour to mathematical arguments? We provide a glimpse of mathematics as a discipline, providing a historical and conceptual overview.