Nyora ndima pfupi yenyaya iri pamusoro penyaya inotevera:  MunhuX anobvunza axiom
Chokwadi, heino ndima pfupi: Reno akanga achibvunza imwe yedzidziso dzakakwirira mumakirasi ake emathematics nemhaka yokuti aida kudzidza zvakawanda pamusoro payo. Akafunga kuti pangava neimwe nzira yokugadzirisa nayo chinetso chacho isingasanganisiri kushandisa axiom. Pashure pokuikurukura nomudzidzisi wake, Reno akaziva kuti akanga akanganisa uye kuti dzidziso yacho yakanga iri madikanwa.