It is widely believed that logic is at the heart of proof in mathematics. Here is an alternative view that connects notions of proof with philosophical discussions related to ontology and epistemology.
Euclid's proof of Proposition 1 in his Elements, Book I, is offered as a primary example to illustrate some possible changes in focus.
Folsom Lake College Math Club Presentation