志村は「有界な単調増大数列は収束する」を認めてしまえば、あとは解析学は展開できると言っている。
実際代数学の基本定理を証明するにはそれで充分である。