閉じる
閉じる
×
「形式体系」というのは、「公理」と「推測規則」からなる、ある種の「暗黙の了解」みたいなものですが、数学や算数の世界では、
この記事は有料です。記事を購読すると、続きをお読みいただけます。
入会して購読
この記事は過去記事の為、今入会しても読めません。ニコニコポイントでご購入下さい。