https://www.youtube.com/watch?v=mT01-iD2U9Q

retard here, wolfram seems to suggest that there are fundamental axioms of mathematics that can be derived. how would that work? i was under the impression you pick arbitrary axioms then derive the implications from them.