EntityQ6029713· pop 8· linked from 34 articlesinfinitary logicSign in to savelogic that allows infinitely long statements and/or infinitely long proofsConnectionsInternational Standard Book NumberEntityset theoryEntitymathematical proofEntitydigital object identifierEntitysequenceEntityJSTOROrganizationpropositionEntitycardinalityEntitylogical disjunctionEntityaxiom of choiceEntitycontinuum hypothesisEntityErnst ZermeloEntityArchimedean propertyEntityPeano axiomsEntityfirst-order logicEntityformal systemEntityAdam Mickiewicz University in PoznańEntityuniversal quantificationEntitywell-orderEntitywell-founded relationEntityCategoriesNon-classical logicSystems of formal logic