Нумерация, это техника, которую использовал Гедель в своих теоремах о неполноте.

Наверное это такая теория про обобщения таких доказательств.

(Reply to this) (Parent)