Infinitary logic logical axiom, an element of T, or is deduced from previous statements using a rule of inference. As before, all rules of inference in finitary logic can be used, together with an additional one: The logical axiom schemata specific to infinitary logic are presented below. Global schemata variables: formula_3 and formula_18 such that formula_23. The last two axiom schemata require the axiom of choice because certain sets must be well orderable. The last axiom schema is strictly speaking unnecessary as Chang's distributivity laws imply it, however it is included as a natural way to allow natural weakenings to the logic.
Logical atomism – sense data – and components of logical atomism – universals and particulars – causes a breach in the typical logic of the theory; Russell's logical atomism is in some respects defined by the crossover of metaphysics and analytical philosophy, which characterizes the field of naturalized epistemology. In his theory of Logical Atomism, Russell posited the highly controversial idea that for every positive fact exists a parallel negative fact: a fact that is untrue. The correspondence theory maintains that every atomic proposition coordinates with exactly one atomic fact, and that all atomic facts exist. The Theory of Acquaintance says that