＞構成可能性と違い証明論以外の人が問題として取り上げることはあまり多くない。
ってのは構成可能性は非専門家の解析学者とかでも気にすることがあるとか
証明論では実数論の可述的部分を研究したりするとか、
そういうこと込みで言ってるんだがな