|
|
Re: PA and Axiom of Choice
Posted:
Jun 27, 2012 5:14 AM
|
|
Frederick Williams wrote:
> > Since that is true, you are claiming that MA is inconsistent. Since > modular arithmetic is a model of MA, it isn't consistent.
Whoops. I meant either 'it isn't inconsistent' or 'it is consistent'.
-- The animated figures stand Adorning every public street And seem to breathe in stone, or Move their marble feet.
|
|