自然法的最低内容对于任何社会的生存都是必要的。
自动机和形式语言的研究对于理解计算的极限是基础性的。