http://toshick.livejournal.com/ (
toshick.livejournal.com
) wrote
in
toshick
2003-05-15 06:34 am (UTC)
Re:
Это уже надо в значках писать.
связь X определяется следующим образом:
для некоторого T, X(T,t) : not X(t,t)
вопрос:
X(T,T) - ?
Но на самом деле там все более длинно, а лезть в Бурбаков не хочется. И все равно они дома.
(
77 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
Re:
связь X определяется следующим образом:
для некоторого T, X(T,t) : not X(t,t)
вопрос:
X(T,T) - ?
Но на самом деле там все более длинно, а лезть в Бурбаков не хочется. И все равно они дома.