Skip to Main Content

no subject

Жирар доказал более тонкую штуку про неконсистентность U и U-. А отсюда, задавая стирающее отображение, заменяющее все (три) вселенные на одну (Type или *), неконстстентность системы с Type:Type получается прямым следствием.

Post a comment in response:

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

HTML doesn't work in the subject.

Formatting type

Message