La théorie des types, de Russell aux assistants à la démonstration