істина в формалізованих мовах — Філософський енциклопедичний словник