Infinitary logic
id:
infinitary-logic-182-16392232
title:
Infinitary logic
text:
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. The concept was introduced by Zermelo in the 1930s. Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete. Notions of compactness and completeness that are equivalent in finitary logic sometimes are not so in infinitary logics. Therefore for infinitary logics, notions of strong compactness
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Infinitary_logic
date created:
2004-05-02T11:22:22Z
date modified:
2024-09-06T17:18:26Z
main entity:
{"identifier":"Q6029713","url":"https://www.wikidata.org/entity/Q6029713"}
image:
fields total:
13
integrity:
14