1. Всички щастливи семейства си приличат,
2. Всички нещастни семейства са нещастни посвоему.
Въпрос: От колко верни твърдения се състои множеството на всички верни твърдения?
Елементарно, Уотсън, ще кажете. Множеството на всички верни твърдения L има 2 елемента - твърденията по-горе. Друг би казал че нещата не са толкова елементарни, и от нашите верни твърдения би конструирал друго множество М (с различен брой елементи, всичките верни твърдения):
М = {Всички щастливи семейства си приличат, Всички нещастни семейства са нещастни посвоему, AND(Всички щастливи семейства си приличат, Всички нещастни семейства са нещастни посвоему), OR(Всички щастливи семейства си приличат, Българската държава е създадена от Ханко Брат през 1299 г. пр.н.е.)}
Tези, които имат някаква представа от множества, ще забележат че
|M| = |P(L)| = 2^2 = 4,
което преведено на прост български звучи така
Броят на елементите на М е равен на броя на елементите на множеството на всички подмножества на L.
Оттук-нататък всичко би трябвало да е ясно ...
Не знам какво е мнението на теоретиците за света на математиката, но в нашия свят списък на всички верни твърдения не може да съществува, защото не бихме могли да се спогодим за съдържанието му, и следователно - за дължината му.