Guest
00:00 - алфавит грамматики начальных множеств 01:00 - список понятий 02:22 - правила грамматики 10:06 - разбор правил грамматики 10:36 - нумералы 13:03 - скобочные записи 17:10 - объектные записи 19:36 - изменяемые записи 23:00 - теорема о согласованности грамматики 27:47 - генерация формул 29:30 - терм-квантор 31:42 - грамматическое дерево 39:23- верификационный алгоритм Наальные множества также называются наследственно-конечными множествами. Но их обычно вводят уже в рамках ZF, как элементы первого бесконечного универсума. У нас же они строятся как понятия над скобочными записями, поэтому терминология используется своя. В будущем мы вернемся к ним уже как к наследственно-конечным множествам.
