形式的体系
この世の摂理, 数学を解析していく上で、見い出された公理や推論規則の体系のこと。
有名なものだと等号で結ばれた右辺と左辺に対して同じ数学的操作を加えた場合、等号は維持されるというようなものがある。
不完全性定理では単一の形式的体系では全ての命題を証明, 反証することができないと述べられている。
つまり整数論