The Coq mailing list

[Adam Chlipala <adam AT chlipala.net>]

Georgi Guninski wrote:
> Do you mean that if I take theorems as axioms it doesn't matter
> what the theorem states (Prop in this case) but how it is proved?
>    

I think it would be most helpful for you to re-present your example, 
with a narrative explaining why you find it at all troubling.  Nothing 
appears to be amiss to the rest of us.