2024.12.05

https://gyazo.com/eaddb4d9ce80b5ad1700485cb80a4938

いいね

https://nicothumb2img.vercel.app/image/sm44111729#.png https://nico.ms/sm44111729

やった

https://gyazo.com/7c7c31175748774e2c2a98c2d487c89c

Listでやった後に交換則無い！でMultisetに書き換えたらそのまま証明通ってびっくりした

メモ

https://nicothumb2img.vercel.app/image/sm44394248#.png https://nico.ms/sm44394248

思った

最近までそういう視点がなかったのだけども「（数学の領域を離れた）実用上の証明体系としては健全性さえあってくれればそれで良い」みたいな話を哲学畑や情報畑の人からよく聞く