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