2172
Historically , the axiomatization of an ordered field was abstracted gradually from the real numbers , by mathematicians including David Hilbert , Otto Hölder and Hans Hahn .
 person: David Hilbert; person: Otto Hölder; person: Hans Hahn
Please list all entity words in the text that fit the category.Output format is "type1: word1; type2: word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
Answer:
 person: David Hilbert; person: Otto Hölder; person: Hans Hahn