Tekstiviesti: К вопросу об истине в формализованных языках