Sentence 1:The inability of the MIU system to express or deduce facts about itself , such as the inability to derive MU , is a consequence of its simplicity . Sentence 2:However , more complex formal systems , such as systems of mathematical logic , may possess this ability .