𝕁onas 🐈🐘 on Nostr: Are you sure that infinitary logic admits "infinitely many alternating qantifiers" ? ...
Are you sure that infinitary logic admits "infinitely many alternating qantifiers" ? The wikipedia page seems to suggest that you can have universal and existential quantifiers binding infinitely many variables, but I don't see any mention of infinite alteration.