In other systems, such as set theory, only some sentences of the formal system express statements about the natural numbers.
Trong các hệ thống khác, như lý thuyết sắp đặt, chỉ một vài câu của hệ thống chính thức biểu diễn tình trạng của các số tự nhiên.