Аксиома Гёделя-Лёба

[molokowoz]

Подскажите пожалуйста ссылку (или напишите здесь) вывод []p=>[][]p (транзитивность) из аксиомы Гёделя-Лёба []([]p=>p)=>[]p

[molokowoz]

Говорят он встречается в журнале Journal of Symbolic Logic...у меня нет доступа туда. Может есть у кого? Посмотрите статью timothy smiley 1963г. Там говориться об этой аксиоме - может и формальный вывод там...