2023.07.20
https://gyazo.com/c49ee7a62b489016a6b6d46b62f3c965
メモ
Robinson算術が$ \sf QなのはPの次のアルファベットだから(続いてR(Theory R), S, T(限定算術), U, V(二階論理の算術)がある) メモ
実は一回もちゃんと証明を追った気がしなかったので
思った
いいね
https://soundcloud2image.vercel.app/image?url=https://soundcloud.com/orodicks-8/goldeneggs-tanagen-tek#.png https://soundcloud.com/orodicks-8/goldeneggs-tanagen-tek