Вообще, говорят, что куры произошли от динозавров. Значит, у нас есть последовательность животных
, обладающая следующими свойствами:
- динозавр,
- курица, и для каждого
животное
вылупилось из яйца, снесённого животным
.
Рассмотрим множество
номеров всех животных в этой последовательности, которые являются динозаврами, и множество
номеров всех животных в этой последовательности, которые являются курами. Тогда в множестве
нет последнего, так как из яйца динозавра может вылупиться только динозавр, а в множестве
нет первого, так как курица может вылупиться только из яйца курицы.
Таким образом, данная математическая модель доказывает, что не было ни первой курицы, ни первого куриного яйца, и ни то, ни другое не было "раньше".
P.S. Ну так автор темы когда-нибудь разродится своей моделью или нет? Взбудоражил всю математическую общественность, все уже на ушах стоят от нетерпения, а он всё никак к делу не приступит.