Философско-методологическая триада современной математики

Abstract

This work uses system approach to the programs of basing of mathematics, which helps to make certain that deep contradictions in a developed mathematical theory are hardly probable. In basing of mathematics the system triplet means that no other part of mathe- matics can have any special privileges because every known program of basing of mathematics has its own reliability of its proofs, which are free from contradictions. = Используется системный подход к программам обоснования математики, который помогает убедиться в том, что глубокие противоречия в развитой математической теории маловероятны. Показано, что в обосновании математики системная триада означает: никакая часть математики не обладает особыми привилегиями, поскольку каждая известная программа обоснования математики имеет особую надежность своих доказательств, свободных от противоречий.