Фхтангенс: различия между версиями

← Предыдущая правка Следующая правка →

@@ Строка 65: / Строка 65: @@
 . ''Аксиома фхтангенсирования''
-: <math>\forall t<T \exists!\mathrm{fhtg}</math>, где t - время, T - пробуждение Ктулху.
+: <math>\forall t\leq T\quad\exists !\mathrm{fhtg}</math>, где t - время, T - пробуждение Ктулху.
 . ''Аксиома фхтангенцикрулирования''
-: <math>\forall t>T \forall x\neq\widetilde{\textsf{K}}\not\exists x</math>
+: <math>\forall t>T\quad \forall x\neq\widetilde{\textsf{K}}\quad\not\exists x</math>
 Многие критикуют данную аксиоматику, ссылаясь на то, что все функции существуют вечно, так как являются объектами мысли. Однако этот вопрос выходит за рамки формальной логики. Обращаясь к философским раздумиям, сторонники CZF отмечают тот несомненный факт, что объект мысли существует лишь пока существует тот, кто этот самый объект мыслит. А когда Ктулху зохавает фсех, таковых не останется (не считая Ктулху, который будет мыслить фхтангенс). Однако когда останутся только Ктулху и Фхтангенс, первому ничего не останется, кроме как зохавать второго. На том и сказочке конец.