Pages in category "Wellfoundedness" AAscending chain conditionAxiom of regularityBBetter-quasi-orderingDDickson's lemmaEEpsilon-inductionFFriedman's SSCG functionHHigman's lemmaIInfinite descending chainKKleene–Brouwer orderKruskal's tree theoremKőnig's lemmaMMostowski collapse lemmaNNewman's lemmaNoetherian topological spaceNon-well-founded set theoryOOrdinal numberPPrewellorderingRRobertson–Seymour theoremSScott–Potter set theoryStructural inductionUUniversal setWWell-founded relationWell-orderWell-ordering principleWell-quasi-orderingWell-structured transition system