topic114007.htmlДорогой сэр karan,
Сформулировать гипотезу, альтернативную постулированию оснований...,
в терминах формальной логики, принципиально невозможно.
Но основания арифметики или языка могут быть определены со стороны понятия симметрии.
Ибо элементы симметрических форм
взаимно обусловлены, исчерпывающим образом для их существования.
Кроме того, симметрических форм - отнюдь не бесконечное число, скажем так.
И тогда существует далеко не все что угодно, что, по крайней мере, настораживает.
"Пусть А некоторое абстрактное множество, алфавит. И конечные последовательности элементов А являются выражениями в А" и т. д. - конечно это оч. научно, но мне туда не надо.