А откуда следует, что все можно описать формулами? Более того, есть такая штука -- теорема Гёделя (она же теорема о неполноте), которая доказывает, что ни один конечный набор аксиом не является достаточным для того, чтобы аналитически получить из него все свойства целых чисел. Боже мой, In Plain Sight, они же ещё дети! Комикс Они же еще только дети Крис