「形式体系」というのは、「公理」と「推測規則」からなる、ある種の「暗黙の了解」みたいなものですが、数学や算数の世界では、
ここから先は有料になります
ニコニコポイントで購入する
チャンネルに入会して購読する
- この記事は過去記事の為、今入会しても読めません。ニコニコポイントでご購入下さい。
コメント
コメントはまだありません
コメントを書き込むにはログインしてください。
