🚀 go-pugleaf

I add related questions.

In article <miha0008-290594232646@dialup-1-74.gw.umn.edu>,
miha0008@gold.tc.umn.edu (H. Reiju Mihara) wrote:

Q1:
> Can somebody out there tell me as intuitively as possible how to prove that
> a proof is free from Zorn's lemma? 

Q2. Is there any "method" to tell, given any (true) proposition, whether
the proposition can be proved without axiom of choice (AC)?  

Maybe this is too demanding, whatever a "method" means.  Maybe I just want
to know the following:

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.  I wonder how to construct proofs of the
latter kind.

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