istotnie myślano od dawna. Konstruując jakąś teorię matematyczną, trzeba przyjąć jakieś założenia. I w tych założeniach mieści się już wszystko. Tak jak melodia we wgłębieniach na stereofonicznej płycie. Przesłuchując płytę, nie można uzyskać nic nowego poza tym, co na niej zostało nagrane. Udowodnić jakieś twierdzenie matematyczne to znaczy wykazać, że mieści się ono w założeniach. Z zarzutem, że to nudne, można by polemizować, odwołując się do faktu, że ciąg wnioskowań od założeń do twierdzenia niekiedy jest bardzo długi i z góry nie wiadomo, co z założeń będzie można uzyskać. Wnioskowanie z założeń niekiedy jest bardziej podobne do procesu rośnięcia kwiatu z nasiona