Формальные высказывания Формальные языки определения свойства примеры