axiom和推论似乎是在1984年举行的一次会议上,斯图尔特·罗斯·泰勒的名字命名,当时隶属于研究地球科学学院、澳大利亚国立大学、堪培拉。江南体育网页版斯图尔特·罗斯·泰勒“月球的起源:地球化学因素”,在得到哈特曼,R.J.威廉,和g J•泰勒(eds),会议程序*月球起源*,背风面,嗨,,1984年10月13 - 16。休斯顿:月球和行星研究所1986年,第143 - 125页。((在线扫描)(https://articles.adsabs.harvard.edu/full/conf/ormo./1986//0000125.000.html))。论文的最后一个发现:>假说在科学应该是可测试的。测试区分的两个可行的假设月球起源、大型撞击器和双行星,原则上可以通过约会挥发损耗事件。这句话可能会引发了一些讨论可测试性的问题,因为前言的一页中所描述的会议记录,我发现罗伯特•Malcuit * Geoforming火星:自然界是如何让火星更像地球呢?*,施普林格2021年(p。142](https://books.google.com/books?id=Y2gLEAAAQBAJ&pg=PA142 v = onepage&q&f = false),据说读取如下:>序言之前的页面(无标号第六页)有几个有趣的评论的至少两个参与者在大约相同的格式(在书中页)> > * *泰来斯的公理* * >月球起源的最佳模式是可测试的。> > * *泰勒的推论* * >月球起源的可测试的模型是错误的。——美国罗斯•泰勒转述由肖恩·所罗门在会议上月球的起源,背风面,1984年。到目前为止我一直无法找到一个扫描相关页面的在线会议的程序来确认这个描述。