Sibnet.ru — это информационно-развлекательный интернет-проект, ориентированный на широкий круг Сибирского региона. По данным Rambler Top100, Sibnet.ru является самым популярным порталом в Сибири.
Контакты: АО "Ринет" ОГРН 1025402475856 г. Новосибирск, ул. Якушева, д. 37, 3 этаж отдел рекламы: (383) 347-10-50, 347-06-78, 347-22-11, 347-03-97
Доказательство. (от противного) Пусть не все мужики козлы, но при этом все бабы дуры. Тогда среди мужиков найдется хотя бы один противный (противный не может быть козлом, т.к., по определению, козлы - это те, кто интересуется дурами), который будет лежать в пересечении множества мужиков и множества баб. Т.е. пересечение данных множеств не пусто. Но это означает, что среди всех баб найдется хотя бы одна умная! Следовательно, не все бабы дуры. А это дико противоречит принятой нами аксиоме, что все бабы дуры. Отсюда делаем вывод, что доказательство закончено.
Следствие 1 Если доказательство закончено, то теорема верна.
Следствие 25 Утверждение, обратное теореме: .ыруд ыбаб есв от ,ылзок икижум есв илсЕ - чушь какая-то.