What does the classical correspondence proof claim when every term is matched?

The Originator of the World: Necessary Existence, Infinite Regress and the Correspondence Proof

• The second collection must have one term
• The smaller would equal the larger, which it calls impossible
• Both would become bodies
• Knowledge of the necessary follows automatically