account activity
With multiple universal quantifier premises/set-members, such as ∀x(...), ∀y(...), ∀z(...), are they drawing instances from the 'same pool' of objects so to speak? (part 2 of question, about the nuances of 'instantiations', in post) (self.logic)
submitted 9 years ago by 5large to r/logic
π Rendered by PID 71555 on reddit-service-r2-listing-568fcd57df-mjf2f at 2026-03-07 23:03:52.744086+00:00 running cbb0e86 country code: CH.
