無限に付いて語る。実無限VS可能無限

Zornの補題を使って存在を示す定理とかは、集合論なしでどうやるの？
injective moduleとか代数閉包とかは？

有限主義の数学で有限体上のWeil予想とかは証明できるの？