The best models for lunar origin are the testable ones.
A few related questions:
- Who came up with it? If it was, in fact, someone named Taylor (which it need not be), which Taylor?
- Is there a paper/talk/etc that contains a definitive form of Taylor's axiom?
- I think we can all agree that testable models are the best ones. Why, then, did Taylor's axiom even need to be stated? e.g. was there a time when when untestable theories of lunar formation were in vogue or something?