Philosophy of mathematics and deductive structure of Euclid's Elements | lit.salon