Понятия канонической формулы и канонической логики
Логика Гёделя — Лёба: пример полной по Крипке, но неканонической логики
