История изменений
Исправление buddhist, (текущая версия) :
Чего?
Это математический метаязык, выведенный «дедуктивно», а не базисная теория, из которой «индуктивно» выведена остальная математика.
// Слова «индуктивно» и «дедуктивно» взяты в кавычки, потому что на самом деле это квази-индукция и квази-дедукция, если говорить о совокупностях теорий.
Исходная версия buddhist, :
Чего?
Это математический метаязык, выведенный дедуктивно.