Подход Крипке

к формальной теории истины