I think this will be relevant for Mathematical Logic. Also Quantum Physics.