Здрасти, 1о1 :-)
Аз по принцип (уж) ги знам тия неща, горе-долу. Като цяло съм чел, че има два типа правила за изграждане на "теореми" във ФАС - итеративни и рекурсивни.
Вон Ноймановата ФАС се води за рекурсивна, доколкото знам.
Също така, спомням си, че според Хофщадер "атомите" в една ФАС се считат чисто и просто за типографски знаци (нещо нарисувано на хартия) и нищо повече или по-малко. Т.е. към "атомите" не трябва да се приписва никакво, ама абсолютно никакво значение или смисъл. Те просто са "символи" без смисъл - пряк или косвен.
Главната идеята е, че (уж) има някакъв "натурален изоморфизъм" м/у такива ФАСми и "вродената" ни интуиция за концепцията "число". Иначе една ФАС, ако няма някаква "интерпретация" (т.е. не се "вижда" никакъв изоморфизъм) е "безсмислена" за човека.
Темата е много интересна, ама май се отнася към форум "Философия на Математиката".
Благодаря ти за интересният отговор :-)