Никто: различия между версиями

Строка 1:

<div style="float: left;">~~{{{image|~~[[Файл:Death Star.png|50px]]~~}}}~~</div>

<div style="float: left;">[[Файл:Death Star.png|50px]]</div>

<div style="margin-left: 60px;">~~{{{text|~~Для любителей специфического юмора [[бука|вуки]] из Вукипедии предлагают статью под названием '''[http://ru.starwars.wikia.com/wiki/Никто Никто]'''.~~}}}~~</div>

<div style="margin-left: 60px;">Для любителей специфического юмора [[бука|вуки]] из Вукипедии предлагают статью под названием '''[http://ru.starwars.wikia.com/wiki/Никто Никто]'''.</div>

</div>

{{q|Никто на помощь не придёт,<br>Ни дров не раздобудет,<br>Никто не сварит ничего<br>Ни на каком огне.|Агата Кристи|никого}}

Строка 53:

Строка 54:

=== Теорема Калиостро в канонической форме ===

Теорема Калиостро гласит, что бессмертные люди существуют.

Теорема Калиостро гласит, что [[бессмертие|бессмертные]] люди существуют.

Доказательство: нельзя сказать, что за всё время никто не умер. Из этого истекает, что никто умер; тем не менее, никто сейчас жив, ибо о нём говорят, что он и ныне многого не знает, не может и не умеет. Сопоставляя эти факты, получаем, что никто бессмертен, раз остался жить после смерти; а значит, <u>нельзя сказать, что никто НЕ бессмертен</u>. Таким образом, бессмертные всё-таки существуют.

Строка 65:

Строка 66:

==== 1. Никто — ничто, и звать его никак ====

Данное утверждение, [[Неопределённость|вроде бы]], вытекает из аксиоматики теории множеств, а смысл его отражается математическим понятием пустого множества (множество <math>e</math> без единого элемента):

Данное утверждение, [[Неопределённость|вроде бы]], вытекает из аксиоматики теории множеств, а смысл его отражается математическим понятием пустого множества (множество

без единого элемента):

: <math>\exists e \forall a (a \notin e).</math>

==== 2. Никто — не [[Анонимус]] ====

Это, [[Неопределённость|будто бы]], должно следовать из аксиом ''объединения'' («Для любого семейства <math>a</math> множеств существует множество <math>b = \cup a,</math> называемое объединением множества <math>a</math>, состоящее из тех и только тех элементов, которые содержатся в элементах множества <math>a</math>»):

Это, [[Неопределённость|будто бы]], должно следовать из аксиом ''объединения'' («Для любого семейства

множеств существует множество

называемое объединением множества

, состоящее из тех и только тех элементов, которые содержатся в элементах множества

»):

: <math>\forall a \exists b \forall c (c \in b \leftrightarrow \exists d (d \in a \wedge c \in d)).</math>

и ''бесконечности'' («В множестве

<math>\mathcal{P}(a)</math>

имеется элемент, не принадлежащий

~~и ''бесконечности'' («В множестве <math>\mathcal{P}(a)</math> имеется элемент, не принадлежащий~~ <math>a</math>, поэтому, например, не существует множества всех множеств»):

, поэтому, например, не существует множества всех множеств»):

: <math>\exists \omega (\varnothing \in \omega \wedge

\forall x (x \in \omega \rightarrow x \cup \{x\} \in \omega)).</math>

@@ Строка 1: / Строка 1: @@
 <div class="noprint" style="clear: right; border: solid #aaa 1px; margin: 0 0 1em 1em; font-size: 90%; background: #f9f9f9; width: 300px; padding: 4px; spacing: 0px; text-align: left; float: right;">
-<div style="float: left;">{{{image|[[Файл:Death Star.png|50px]]}}}</div>
+<div style="float: left;">[[Файл:Death Star.png|50px]]</div>
-<div style="margin-left: 60px;">{{{text|Для любителей специфического юмора [[бука|вуки]] из Вукипедии предлагают статью под названием '''[http://ru.starwars.wikia.com/wiki/Никто Никто]'''.}}}</div>
+<div style="margin-left: 60px;">Для любителей специфического юмора [[бука|вуки]] из Вукипедии предлагают статью под названием '''[http://ru.starwars.wikia.com/wiki/Никто Никто]'''.</div>
 </div>
 [[Файл:Nobody1.jpg|thumb|right|Никто не может описать его внешность.]][[Файл:Nobody1.jpg|thumb|right|Как никто другой.]]
 {{qdh|Никто как Бог!|Цитаты и афоризмы}}
 {{q|Никто на помощь не придёт,<br>Ни дров не раздобудет,<br>Никто не сварит ничего<br>Ни на каком огне.|Агата Кристи|никого}}
@@ Строка 53: / Строка 54: @@
 === Теорема Калиостро в канонической форме ===
-Теорема Калиостро гласит, что бессмертные люди существуют.
+Теорема Калиостро гласит, что [[бессмертие|бессмертные]] люди существуют.
 Доказательство: нельзя сказать, что за всё время никто не умер. Из этого истекает, что никто умер; тем не менее, никто сейчас жив, ибо о нём говорят, что он и ныне многого не знает, не может и не умеет. Сопоставляя эти факты, получаем, что никто бессмертен, раз остался жить после смерти; а значит, <u>нельзя сказать, что никто НЕ бессмертен</u>. Таким образом, бессмертные всё-таки существуют.
@@ Строка 65: / Строка 66: @@
 ==== 1. Никто — ничто, и звать его никак ====
-Данное утверждение, [[Неопределённость|вроде бы]], вытекает из аксиоматики теории множеств, а смысл его отражается математическим понятием пустого множества (множество <math>e</math> без единого элемента):
+Данное утверждение, [[Неопределённость|вроде бы]], вытекает из аксиоматики теории множеств, а смысл его отражается математическим понятием пустого множества (множество
+<math>e</math>
+без единого элемента):
 : <math>\exists e \forall a (a \notin e).</math>
 ==== 2. Никто — не [[Анонимус]] ====
-Это, [[Неопределённость|будто бы]], должно следовать из аксиом ''объединения'' («Для любого семейства <math>a</math> множеств существует множество <math>b = \cup a,</math> называемое объединением множества <math>a</math>, состоящее из тех и только тех элементов, которые содержатся в элементах множества <math>a</math>»):
+Это, [[Неопределённость|будто бы]], должно следовать из аксиом ''объединения'' («Для любого семейства
+<math>a</math>
+множеств существует множество
+<math>b = \cup a,</math>
+называемое объединением множества
+<math>a</math>
+, состоящее из тех и только тех элементов, которые содержатся в элементах множества
+<math>a</math>
+»):
 : <math>\forall a \exists b \forall c (c \in b \leftrightarrow \exists d (d \in a \wedge c \in d)).</math>
+и ''бесконечности'' («В множестве
+<math>\mathcal{P}(a)</math>
+имеется элемент, не принадлежащий
-и ''бесконечности'' («В множестве <math>\mathcal{P}(a)</math> имеется элемент, не принадлежащий <math>a</math>, поэтому, например, не существует множества всех множеств»):
+<math>a</math>
+, поэтому, например, не существует множества всех множеств»):
 : <math>\exists \omega (\varnothing \in \omega \wedge
 \forall x (x \in \omega \rightarrow x \cup \{x\} \in \omega)).</math>