See https://en.wikipedia.org/wiki/Kurt_G%C3%B6del. ... 183) Zermelo-Fraenkel set theory with choice is a popularly used system of axioms for mathematics.
確定! 回上一頁