English Infinitary logic Cited by user JuliusClimacus on 11 May 2018 An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs.