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: ostatecznie kształt kwiatu nie jest z góry nigdy do końca wiadomy, tak jak wiadoma jest melodia nagrana na