1. Infinitary logicThose unfamiliar with mathematical logic or the concept of ordinals are advised to consult those articles first. An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. 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 logic.
Read “Infinitary logic” on English Wikipedia
Read “無限論理” on Japanese Wikipedia
Read “Infinitary logic” on DBpedia
Read “Infinitary logic” on English Wikipedia
Read “無限論理” on Japanese Wikipedia
Read “Infinitary logic” on DBpedia
Discussions
Log in to talk about this word.