「形式体系」というのは、「公理」と「推測規則」からなる、ある種の「暗黙の了解」みたいなものですが、数学や算数の世界では、