Talk:Disjunction and existence properties/to do
From 24-Sep-2004:
- Discussion of Herbrand's theorem
- Discussion of Brouwer-Heyting-Kolmogorov interpretation
- Discussion of axiom of choice
- CM's number theoretic conjecture
New:
- Bit about indecomposible project object requires explanation
Newer:
- Make this page vaguely intelligible by a non-mathematician
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "Disjunction and existence properties/to do" page.
