いまどき公理主義（？）と論理主義と直観主義で
どれが数学の基礎付けに適しているか議論するなんてことは
専門のロジシャンでもやらないんだが

そういう古い「基礎論」と今のロジックは、
哲学者の書いた確率論の論考と、伊藤清の確率論くらい違う