Juan-Carlos Gandhi (
juan_gandhi
) wrote
2019-03-09 02:58 am (UTC)
no subject
When you model one theory in another, you have to prove every axiom of the theory that you model.
This case is simpler. We know what "axiom of choice" is. In this theory, this statement follows from other statements.
(
10 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
]
no subject
This case is simpler. We know what "axiom of choice" is. In this theory, this statement follows from other statements.