Определение 1. Женщина - существо, созданное по образу и подобию
человека (мужчины).
Определение 2. Бабы - счетное множество женщин.
Теорема 1. Все бабы - дуры.
Доказательство.
Предположим противное: некоторые бабы умные.
В силу счетности множества женщин, произведем сортировку женщин по их
интеллекту по убыванию. В силу компаративности уровней умственных
потенциалов двух женщин можно без потери общности считать, что все
остальные бабы глупее женщины, стоящей первой в списке, а значит все они
дуры. Таким образом, среди множества женщин есть только одна женщина,
которая является умной, но очевидно она не принадлежит множеству баб.
Следовательно, сформулированное отрицание теоремы - ложно.
Что и требовалось доказать.
Следствие 1. Из теоремы 1 следует, что в силу существования различных
норм сравнения умственных потенциалов для каждого конкретного человека
(мужчины) может быть в общем случае найдена произвольная самая умная
женщина, которая имеет шанс стать женой. В случае, если метрика
позволяет существование двух разных женщин с сопоставимым потенциалом,
то возможно сущестование двух женщин, одну из которых условимся называть
женой, а вторую - любовницей.
Следствие 2. Жена является таковой только до тех пока мужчина не поймет,
что она дура. После этого она автоматически переходит в множество баб.
--
DVK