Proof theory and mathematics: Aristotle vs Hilbert

Based on different conceptions of proof theory (such as Aristotle’s or Hilbert’s proof theory) we try to answer the following questions: what is the modern mathematical conception of proof and what is relationship between mathematics and proof theory.