数日前、友人から、 「数学の記号の『 』ってどういう意味？」 と質問されました。 数学基礎論の授業でこの記号を見た覚えがあったので、「\vdash 基礎論」で google 検索をかけて、この記号が「証明可能」という意味だということを思い出したんだけど *1、…