简述形式化的公理系统的三个基本原则。