Вторая и последняя часть Ведения в версию теории 5.0, содержит некоторые дополнения к попытке формального обоснования и доказательства теории...