Talk:Disjunction and existence properties/to do

From 24-Sep-2004: New: Newer:
 * 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
 * 1) Bit about indecomposible project object requires explanation
 * 1) Make this page vaguely intelligible by a non-mathematician