ちょっと前にあった、素因数分解の存在と一意性の問題とか、実数の性質とかは難しいと思う。
あと初等幾何を図形的証明に頼らずにやろうとすると一気に20世紀まで時代が下る。