axiomatic sets 38 (axiom of choice 2)

(1)No matter how easy or no matter how difficult operation it is,
despite the operation never ending,
are we able to look infinite process obvious ?

(2)Although we can not always show the function,
we have to always accept the existing of the function. is it obvious?

Axiom of choice asserts  these are obvious and true.