Істина в формалізованих мовах

властивість висловлювання (пропозиційної формули), що висловлює істинне судження