Видишь, консистентность сильно зависит от базовых аксиом. По мне, так утверждение не консистентно совершенно. А его автор почему-то считает так.
Явные неконсистентности можно, конечно отловить. Но только самые явные :)
Я когда-то читал тот твой пост, но покомментировать ни тогда, ни сейчас силов не нашлось. Тем более, что двигать чей-то базис... это надо сильно засублимировать. Лучше очно :)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2005-08-19 10:56 am (UTC)Видишь, консистентность сильно зависит от базовых аксиом.
По мне, так утверждение не консистентно совершенно. А его автор почему-то считает так.
Явные неконсистентности можно, конечно отловить. Но только самые явные :)
Я когда-то читал тот твой пост, но покомментировать ни тогда, ни сейчас силов не нашлось. Тем более, что двигать чей-то базис... это надо сильно засублимировать. Лучше очно :)