... ошибочно полагать, будто доказательство начинается или обосновывается теориями, которые в конечном итоге служат его «аксиомами», или что эти теории обосновывают доказательство. Доказательство заканчивается – условно – когда кажется, что оно показало удовлетворительность связанного с ним объяснения. Принятые «аксиомы»…