Но он четко утверждал, что Аристотель не доказал вечности мира ("a parte ante"), и явно не верил, что это когда-либо будет доказано.
Он не исключал, что доказательство будет. Формулировка космологического доказательства именно дана для ситуации, когда мир оказался вечным, немотря на скандальность допущения такой возможности. ИМХО мы должны взять это за образец, и вместо того чтобы время от времени отступать, сразу задать красную линию, на чем стоим и стоять будем. Такая линия должна быть вне рамок научного исследования.