不完全性定理は怖くない！非古典論理は怖くない！

mendaciaさん
VRC数学談話会の発表をすべて見る →