BASIC
#理論
#限定算術
定義
BASIC
は以下の
S₂の言語
の32個の公理からなる
理論
である
https://scrapbox.io/files/6472fe7fcef6a0001b507c33.png