なんか数学基礎論って期待はずれですよねー。
これがあれば哲学とサヨナラできる、世界をフラットに理解できるって期待してたのに、
「メタ世界と対象の世界」とかそんな重層的なことを考えるのはイヤなんですよ。