＞どっちにしろ、そげんもん  はどちらのグループにせよ、
＞「付録 or 付け足し」にすぎぬワ！！！！

やれやれ、またイソップのキツネですか。

不完全性定理で失敗し、四色問題で失敗し、
確率論でも解析学でも失敗の連続

何度失敗しても
「・・・は豚の尻尾」
「答は秘密、貴様等には教えてやらん」
で遁走し、話題を変えて性懲りもなく
再登場しては同じことの繰り返し。

はっきりいって「論理改革」のベン図で解けるのは、
命題論理の問題くらいですよ。

実数どころか自然数の公理すらない状態では、
何もできないですよ。

まあ、命題論理でも充足性判定（SAT）が
多項式時間で解けるならP=NP問題の解決
にもなりましょうが・・・（笑）