@kururu_goedel: @kagami_hr 選択公理またはZornの補題は形式化されてなくても認めてしまえば十分な議論ができると思うので。また、元々の趣旨として「数学が基礎づけられたからってそれがなに？」みたいな人を念頭においているので。単に基礎づける以上の有…