奥地利数学家哥德尔在1931年发表了题为《论<数学原理>及有关系统的形式不可判定命题》的论文，其中提出这样一个观点，在任何数学系统中，只要其能包含整数的算术，这个系统的相容性就不可能通过几个基础学派所采用的逻辑原理建立。简单地说，就是在任何系统中，总有些真理是游离于逻辑之外的，这些真理就叫做歌德尔命题。在Matrix中，尼奥就是在Matrix这个严整系统中不能被数学推得的歌德尔命题
