new_yakubovich писал(а):Я не нанимался рассказывать вам, почему — достаньте учебники, и сами увидите. В той степени, в которой это касается математиков, вокруг понятий "диалекта", "логики" и "метаязыка" сложились более чем достаточные определения, понимания и уточнения
Так как тарсковед-шеннолог "не нанимался", не осмелюсь тревожить его сиятельную особу, но, может быть, коллективный разум пособит, а то интересно, аж жуть, какие есть определения "диалекта" в математике и какие про него математики теоремы доказывают, a то у меня определения определенно не ищутся:
dialect in MathWorld
dialect in the Encyclopedia of Mathematics