Формальные системы: Примеры и пояснения