В широком смысле -- начиная, условно, с Пифагора, для которого созерцание (теория) предшествовало практическому применению математических выводов, необходимо было сначала ввести себя в теоретическое состояние, занять позицию вроде созерцателя богов или священных зрелищ (театра, мистерии), а потом уже создавать математические доказательства. В узком смысле -- начиная с тех проектов ХХ века, которые претендовали на всеобщее значение в математике, при этом оставаясь в поле математики, как синтез группы "Н. Бурбаки".