3 ms·

I think you should probably understand formal logic, and may proof theory and also abstract algebra as a pre-req.