Молодой Галилео Галилей считал, что нельзя доказательства выводить из уже доказанного:
«И я никогда, если будет возможно, не буду класть в основу то, что ещё нужно доказать, а лишь истинное. Этому методу научили меня мои математики […] …некоторые философы, преподавая элементы физики, обычно кладут в основу то, что сказано или в книгах о душе, или в книгах о небе, или даже в метафизике, и даже при преподавании логики у них постоянно на устах то, что сказано в последних книгах Аристотеля; таким образом, обучая учеников началам, они предполагают, что те знают всё, и выводят своё учение не из того, что хорошо известно, а попросту из неизвестного и неслыханного».
Цитируется по: Леонард Ольшки, История научной литературы на новых языках в 3-х томах, Том 3, М.-Л., 1933-1934 г., с. 109.