3 ms·

I believe these are referred to as formal theories and are sort of the root connections between philosophy/epistemology and maths.