从开普勒的多面体假说到对哥白尼的逻辑学和天文学辩护