Particularly in the context of first-order logic, formal systems are also called formal theories.
Cụ thể là trong văn bản về logic trật tự thứ nhất, các hệ thống chính thức cũng được gọi là các lý thuyết chính thức.