display all the ideas for this combination of texts
3 ideas
16309 | Every attempt at formal rigour uses some set theory [Halbach] |
Full Idea: Almost any subject with any formal rigour employs some set theory. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 4.1) | |
A reaction: This is partly because mathematics is often seen as founded in set theory, and formal rigour tends to be mathematical in character. |
12337 | There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou] |
Full Idea: 'Transitivity' signifies that all of the elements of the set are also parts of the set. If you have α∈Β, you also have α⊆Β. This correlation of membership and inclusion gives a stability which is the sets' natural being. | |
From: Alain Badiou (Briefings on Existence [1998], 11) |
12321 | The axiom of choice must accept an indeterminate, indefinable, unconstructible set [Badiou] |
Full Idea: The axiom of choice actually amounts to admitting an absolutely indeterminate infinite set whose existence is asserted albeit remaining linguistically indefinable. On the other hand, as a process, it is unconstructible. | |
From: Alain Badiou (Briefings on Existence [1998], 2) | |
A reaction: If only constructible sets are admitted (see 'V = L') then there is a contradiction. |