Every Tournament Contains a Winning Chain (Rédei's Theorem)
Round-robin results can be pure chaos, cycles everywhere, no champion. A one-move induction still lines everyone up so each player beat the next.
Mathematical logic
1 articlePredicate logicSecond order logicHigher order logicIntuitionistic logicNonclassical logicFuzzy logicMany valued logicLogicFormal logicFormal grammarFormal proofWell formed formulaSymbol formalLogical constantLogical connectiveLogical operatorAtomic formulaAtomic sentenceOpen formulaOpen sentenceSentence mathematical logicStatement logicPropositionTerm logic+ 72 more