ε-δ程度の壁なんて記号論理学の初歩(多重量化子が2,3個付いた論理式の読み方)さえ
教えればすぐ乗り越えられると思うんだが。