自分の中でずーっと引っかかってた「わかるってことはなんだろう？」みたいなことがさ、いや、ここ最近気が付いたんだけど数学基礎論とか数学の哲学の話とつながっていくっつーよりかは数学の哲学に関しては勝手に読んでただけだからさ、いや、なんつーか数…