Това дали името на темата лъже усложнява много нещата, защото тогава и името на клуба може да лъже. По-добре да не тръгваме в тази посока.

Може би трябва да дефинирам по-тясно проблема и да го опростя, за да стигнем до обосновано решение.

По дефиниция:

1 Цялата информация за клуба се съдържа в името.

2 Цялата информация за темата се съдържа в името.

3 Името на клуба дефинира множеството от теми, които принадлежат на клуба.

4 Тема принадлежи на даден клуб, ако е част от множеството на клуба.

5 Темата НЕ принадлежи на даден клуб, ако не е част от множеството на клуба.

Тези правила не са пълни, в смисъл, че може да съществува тема за която да не можем да кажем дали е част или не е част от даден клуб, защото не можем да определим дали е или не е част от множеството.


Сега да видим нашия пример с клуба за всичко и темата, която не част от клуба за всичко.

Според името на клуба всичко теми за част от клуба.
Според името на темата, тя не е част от клуба.

Тоест според 4 принадлежи, според 5 не принадлежи. Това вероятно означава, че дефиниции 4 и 5 си противоречат, нещо като задачата за всепомитащото гюле и непоклатимия стълб.

Май трябва да помисля малко повече на какво се дължи противоречието и какво означава това.

Редактирано от Пaньo Дoнeв на 28.03.09 12:45.