Noteworthy to me, is that it seems foundational work is to a significant degree, not considered mathematics or something people calling themselves “mathematicians” would spend much of their time on; but it’s left for logicians and more philosophically inclined people.