I am not sure HoTT is your best bet if you want to get away from obscure notation and naval-gazing. Just kidding. But seriously, ZFC is probably the easiest fo

I am not sure HoTT is your best bet if you want to get away from obscure notation and naval-gazing. Just kidding. But seriously, ZFC is probably the easiest foundation you can have for proper mathematics. Anything else is more complicated (if you think otherwise, you probably just don't understand it).