形式主義

　　見數學基礎。