senensesophia senensesophia 12-04-2024 Mathematics contestada what is the oldest extand large-scale deductive treatment in mathematics