数理論理学（数学基礎論）　その12

数理論理学（数学基礎論）　その12 at MATH

数理論理学（数学基礎論）　その12 - 暇つぶし2ch430:１３２人目の素数さん
18/01/01 01:11:47.94 61qu7ZNU.net
数学基礎論の定理の証明に数学(例えば集合論)の定理を使ってしまったら、数学基礎論の立場が損なわれてしまいませんか？
何のために形式主義の立場で公理化を行ってきたんだよってなりませんか？

次ページ