Talk:Disjunction and existence properties/to do

From 24-Sep-2004:

1. Discussion of Herbrand's theorem
2. Discussion of Brouwer-Heyting-Kolmogorov interpretation
3. Discussion of axiom of choice
4. CM's number theoretic conjecture

New:

1. Bit about indecomposible project object requires explanation

Newer:

1. Make this page vaguely intelligible by a non-mathematician