On the relation between logic and mathematics in Tractatus: the notions of formal series, formal operation, general form of proposition and the definition of numberдоклад на конференции