最終更新日:2022/12/24
Here, then, is an example of an arithmetical statement that may be true, but may be non-derivable from the axioms of arithmetic.
編集履歴(0)
Here, then, is an example of an arithmetical statement that may be true, but may be non-derivable from the axioms of arithmetic.