Master's Student Mathematics, specializing in mathematical logic, at Radboud University in Nijmegen, NL