Я думаю, что часть привлекательности математической логики заключается в том, что формулы выглядят загадочно - вы пишете назад!