‘Extensionalists’ who assert that “\(\varepsilon(0).\varepsilon(1).\varepsilon(2)\) and so on” is an infinite logical product (PG 452) assume or assert that finite and infinite conjunctions are close cousins—that the fact that we cannot write down or enumerate all of the conjuncts ‘contained’ in an infinite conjunction is only a “human weakness”, for God could surely do so and God could surely survey such a conjunction in a single glance and determine its truth-value. According to Wittgenstein,
Extraction notes
Validity: Extracted via Max plan + API grounding/validity checks