- 926 名前：Antigod mailto:sage [2022/01/08(土) 08:56:33.85 .net]
- In practice, most mathematicians either do not work from axiomatic systems,
or if they do, do not doubt the consistency of ZFC,
generally their preferred axiomatic system.
実際には、ほとんどの数学者は公理系で仕事をしないか、
していても、一般に好んで使われる公理系である
ZFCの無矛盾性を疑っていないのです。
※ consistency は自動翻訳では「一貫性」と訳されるが
数学では「無矛盾性」の意味で用いられる
