Could you imagine reading a math proof that used Python syntax rather than mathematical? e.g. nested iterators/loops instead of ∀x,y ∈ ℝxℝ etc. For a startup

Could you imagine reading a math proof that used Python syntax rather than mathematical? e.g. nested iterators/loops instead of ∀x,y ∈ ℝxℝ etc. For a startup "using the language you know" is good advice. To be at the top of a specialist field, there are better ones.