$5.$ What is Mauldon's main objective in his research on mathematical logic?

a$)$ Proving Gdel's incompleteness theorems

b$)$ Establishing consistency in mathematical systems

c$)$ Investigating computability theory

d$)$ Formulating axioms for set theory