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

Строка 81: Строка 81:
{{Цитата|Все разумные определения эквивалентны между собой и эквивалентны интуитивному}}
{{Цитата|Все разумные определения эквивалентны между собой и эквивалентны интуитивному}}
Данная формулировка не вполне корректна, так как не указывает на определяемый объект. Если принять её как верное утверждение, то отсюда сразу следует, что определение топологии эквивалентно определению числа <math>\gamma</math>. И если в данном случае это можно объяснить тем, что оба определения корректны, то в случае с определением как членом предложения ни о какой эквивалентности речь идти не может, так как это объекты совершенно разной природы. По этой причине необходимо ввести более точную, формальную формулировку Тезиса Чукчи:
Данная формулировка не вполне корректна, так как не указывает на определяемый объект. Если принять её как верное утверждение, то отсюда сразу следует, что определение топологии эквивалентно определению числа <math>\gamma</math>. И если в данном случае это можно объяснить тем, что оба определения корректны, то в случае с определением как членом предложения ни о какой эквивалентности речь идти не может, так как это объекты совершенно разной природы. По этой причине необходимо ввести более точную, формальную формулировку Тезиса Чукчи:
{{Цитата|<math>\boxed{K?} \sim \boxed{ZF?} \sim \boxed{\circledast?} \sim \boxed{A?} \sim \boxed{\Gamma?} \sim \boxed{=^\wedge?^\wedge\!\!=} \sim \boxed{Hz?} \sim \boxed{\widetilde{K}?} \sim \boxed{\widetilde{K}^{-1}?}</math>}}
{{Цитата|<math>K? \sim ZF? \sim \circledast? \sim A? \sim \Gamma? \sim =^\wedge?^\wedge\!\!= \sim Hz? \sim \tilde{K}? \sim \tilde{K}^{-1}?</math>}}


== Простейшие свойства ==
== Простейшие свойства ==