Axiom of Choice thread

File: 48 KB, 771x132, 1648144782585.png [View same] [iqdb] [saucenao] [google]

Axiom of Choice thread Anonymous Thu Dec 8 14:20:07 2022 No.15039453 [Reply] [Original]

Can someone explain what is meant by the text I highlighted? Also, Axiom of Choice thread.

>>	Anonymous Thu Dec 8 14:39:47 2022 No.15039497 >>15039453 AC is used in many non-constructivist proofs.

>>	Anonymous Thu Dec 8 14:55:31 2022 No.15039521 >>15039497 AoDC is, full AoC is useless schizo babble that doesn't hold in some toposes physicists care about

>>	Anonymous Thu Dec 8 15:59:19 2022 No.15039610 >>15039521 dependent choice?

>>	Anonymous Thu Dec 8 16:09:20 2022 No.15039618 >>15039453 You can use AC to prove that some things exist that cannot be explicitly constructed, such as a basis of a linear space with an infinite dimension.

>>	Anonymous Thu Dec 8 17:22:34 2022 No.15039708 >>15039453 Axiom should be replaced by the word assumption and then axiom should be deleted from the English language so we never have to see it again and anyone using it should be publicly raped by a pack of wild niggers

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]

/sci/ - Science & Math