образовательное

А я правильно понимаю, что саму концепцию "назначим несколько простых и наглядных утверждений аксиомами, а потом начнем из них выводить один за другим выводы невероятной красоты и сложности, причем выводы эти будут столь же надежны, сколь сами исходные аксиомы" из школьных курсов выкинули уже давно, а из университетских еще недавно?

То есть что средний нынешний аспирант-нематематик о таком подходе скорее всего ни разу в жизни не слышал?