ええと、原点に帰って。

数学・超準屋＞＞壁Ａ＞＞基礎論屋・哲豚＞＞壁Ｂ＞＞哲学者＞＞壁Ｃ＞＞哲学厨房＝ポモ

として、壁Ｃ、壁Ｂについては大まかに記述できた。壁Ａについてはこのスレで扱うのは不可能。

なので終わりかな。しかし（哲）豚は太らせて食え、と言うしもう少し考えてみるか…