> Он начал пытаться доказывать, что сфера неподвижных звёзд (а речь шла всё ещё о сфере неподвижных звезд) просто гораздо дальше, чем нам кажется. В ответ получил резонное замечание, что недоказанная теория не может быть доказана другой недоказанной теорией.
А вот этот момент мне лично непонятен. Ведь альтернативой "другой недоказанной теории" была точно такая же недоказанная теория о близкой сфере звезд (ибо аргумент "не могут звезды быть в кучу раз больше, чем Солнце, потому что не могут" не является доказательством ни разу).