Infinitary language
Redirect to:
Infinitary logic