Какие методы используются для доказательства математических утверждений в комбинаторике?

Некоторые методы, которые используются для доказательства математических утверждений в комбинаторике:

• Доказательство двойным подсчётом. en.wikipedia.org Количество элементов выбранного набора подсчитывают двумя различными способами, чтобы получить разные выражения. en.wikipedia.org Поскольку они учитывают одни и те же объекты, выражения должны быть равны, и таким образом устанавливается идентичность. en.wikipedia.org
• Биективное доказательство. en.wikipedia.org Доказывается, что два набора имеют одинаковое количество элементов, демонстрируя биекцию, то есть взаимно однозначное соответствие между ними. en.wikipedia.org
• Математическая индукция. openedo.mrsu.ru intuit.ru Метод позволяет доказать, что если утверждение истинно в одном случае, то оно окажется истинным и в следующем за ним случае. openedo.mrsu.ru
• Метод включений и исключений. elibrary.sgu.ru
• Идея пересечения. old.mccme.ru Нужное условие представляют в виде пересечения некоторого числа условий. old.mccme.ru При этом ясно, что для каждого из них есть конструкция, ему удовлетворяющая. old.mccme.ru Иногда отсюда можно вывести, что есть конструкция, удовлетворяющая всем этим условиям одновременно. old.mccme.ru