Вся формальная семантика — попытка переложить смыслы языка в язык логики — это такой набор костылей, ты бы знал. Смешно читать, будет ли там полнота или нет, когда там такое творится.