не должны изобретать, а должны конструировать, ибо изобретенный элемент может нарушить логическую строгость доказательства. Против этого нельзя возражать, но опять-таки, если это требование не распространить на исходные "кирпичики", из которых "строится" логика доказательств. Эти универсальные "кирпичики" можно и должно изобретать, т. е. получать путем максимально возможного абстрагирования используемых математических средств и понятий.
Математики в таких случаях говорят, что необходим набор неопределимых (исходных, первичных) понятий. Философы тем более не сомневаются в необходимости таких абсолютных абстракций. В этом вопросе нет никаких разногласий. Но они неизбежно возникают, когда требуется уточнить этот набор как по форме, так и по содержанию.
Одни считают, что это должны быть некоторые множества, другие ориентируются на логические операции, третьи убеждены, что надо брать за основу материалистические категории, а четвертые предпочитают опираться на свою интуицию. Нет единства не только в качественной, но и в количественной оценках этого набора понятий.
Представители школы Э. Маха, и особенно в этом преуспел его ученик А. Эйнштейн, считают, что чем меньше исходных предпосылок имеет теория, тем она совершеннее. И вообще, если бы удалось всю теорию вывести из одного понятия, то это был бы идеальный случай. По всей видимости именно из этих соображений автор теории относительности изобрел пространственно-временной континуум, оматеризовав при этом пространство и время. Приверженцами монизма являются, по сути дела, все ортодоксальные теоретики.
Плюралисты же, наоборот, считают, что нельзя ограничиться каким-то определенным набором несводимых к единому началу понятий. Рожденный Г. Лейбницем плюрализм до недавнего времени считался философией современных идеалистов, к которым причисляли прагматистов, неопозитивистов и других "-истов". Теперь же плюрализм возведен в ранг государственной политики. Своего рода умеренным плюрализмом можно считать конвенционализм А. Пуанкаре, согласно которому вопрос об исходных научных понятиях должен решаться посредством соглашения (конвенции) между учеными, исходя из соображений простоты, удобства и других признаков.
Большой популярностью до сих пор пользуется дуализм Декарта и Канта, которые пытались примирить материализм и идеализм. Заметный след в науке оставили триады Гегеля, которыми, по выражению Ленина, "кокетничал" Маркс в 1 главе "Капитала", в результате чего, по его мнению, никто из марксистов не понял Маркса полвека спустя. Но не поняли (можно утверждать, что и до сих пор не понимают) не только Маркса, но и Гегеля. Очевидно по этой причине, а может быть вследствие осознания их величия и гениальности, критики не осмелились "наклеить" хлесткий "ярлык" в виде какого-нибудь "-изма" на учение, основанное на триадах.
Не встречается в философской литературе такого же "-изма", в основе которого лежала бы четверка исходных понятий, хотя и гегелевские крути
