判断题

阿克曼公式是用来检验系统的能观性的。