12/01/29 13:06:57.12
集合論だって述語論理は使っている。
述語論理の上のレベル（というか非論理的公理）として、
集合論などのほかの「数学の基礎」から自立できているかが問題。
述語論理から独立させようなんて誰も考えてないよ。
12/01/29 13:06:57.12
集合論だって述語論理は使っている。
述語論理の上のレベル（というか非論理的公理）として、
集合論などのほかの「数学の基礎」から自立できているかが問題。
述語論理から独立させようなんて誰も考えてないよ。
12/01/29 13:06:57.12
集合論だって述語論理は使っている。
述語論理の上のレベル（というか非論理的公理）として、
集合論などのほかの「数学の基礎」から自立できているかが問題。
述語論理から独立させようなんて誰も考えてないよ。