ati » from archive
В пределе идеализации вся математика может предстать как потенциальная совокупность грамматически правильных текстов на формальном языке.