Re: An uncountable countable set

Han de Bruijn wrote:
MoeBlee wrote:

Tony Orlow wrote:

Constructivism and Axiomatism are two sides of a coin. They can be
reconciled in larger framework, I think.

I don't know what your definition of 'axiomatism' is, but there are
axiomatic systems for constructive mathematics.

True. And I consider that as a distortion of contructivism.

Let's suppose axiomatization conflicts with constructivism. What
exactly do you see that conflict to be? And what do you find so
important in constructivism that upholding it is more important than
the objectivity of axiomatization?

MoeBlee

.