>>14265551if you understand those intuitively it's enough, logic of multiple orders, set theory enough to not have contradictions, foundations of mathematics enough to prove shit in more important matters (like supreme, dedekind cuts, successions, basic topology R^n topology, etc.)