Real analysis without uncountable sets

Abstract: We rework Hilbert's proof of the transcendence of Euler's number

m a t h r m e = 2.71828 d o t s

so that it uses only hereditarily at most countable sets. We achieve it by using only real functions defined on sets of fractions, like

[a, b]_{m a t h b b Q} := c i n m a t h b b Q; |; a l e c l e b

. The key tool is (Riemann) integration of real functions defined on rational intervals

[a, b]_{m a t h b b Q}

.

This page was built for publication: Real analysis without uncountable sets