>>53では、数理論理学スレッドとは別に
数学基礎論スレッドを立ててもよい、と
いった。ただしその場合
「証明論、再帰的関数論、構成的数学、
　モデル理論、公理的集合論等」
の数理論理学の各分野の名称は
数学基礎論スレッドのテンプレートには
一切記載してはならない。
そもそも数学の基礎を追求する数学基礎論は
数理哲学であって、数学ではない。
数学の一分野であるという間違った記述も
容認しない。
数学の一分野であるのは数理論理学である。