🚀 go-pugleaf

I add related questions to my original article
<miha0008-290594232646@dialup-1-74.gw.umn.edu>.

Q1 (original). Can somebody out there tell me as intuitively as possible
how to prove that a certain proof is free from axiom of choice (AC)?  

Q2. How do we prove that a certain proposition _can_ be proved without
using AC?  

Q3. What is a basic strategy for proving a proposition (that can be proved 
without AC) in such a way that it is evident that AC is not used?

In other words, maybe a _particular_ proof of a proposition P uses AC; but 
this fact alone does not preclude the possibility that _another_ proof of 
P exists that does not use AC.  Q3 asks how to construct proofs of the 
latter kind.  Q2 does not demand that a proof of P be exisibited, but only
demands the existence of such a proof to be shown.  Probably the fact is
that Q2 cannot be done without giving a proof described in Q3.

-- 
\\                                          //
  H. Reiju Mihara (miha0008@gold.tc.umn.edu) 
  is a name    of some sort 
                               of individual
//                                          \\