程晉州預(yù)計(jì),，在知道行星運(yùn)行三定律的情況下,，要逆推已知條件,，也需要一整天時(shí)間,。而且紅臉膛未曾明確的說明,，要從什么級(jí)別開始作為已知條件。

　　這使得程晉州在羅列已知的時(shí)候，盡可能的將較早時(shí)代的公理列在前面。

　　此等做法,，自然讓姜璜異常的奇怪，同時(shí)也頗為佩服,。

　　同樣是為了推出一個(gè)定理,，用“三角形內(nèi)角和為180度”的已知條件，可比“三角形有三個(gè)角”的已知條件簡(jiǎn)單多了——后者...