Skip to content
EntityQ6029713· pop 8· linked from 34 articles

infinitary logic

Sign in to save

logic that allows infinitely long statements and/or infinitely long proofs

Available in 8 languages

via Wikidata sitelinks · CC0