Re: Help in answering news story on refutation of fermat's last theorem

anzaurres1@xxxxxxxxxxx writes:

> When we, mathematicians, say that a statement is true in a given
> axiomatic system, we mean that one can logically derive this statement
> from the axioms.

People do indeed often speak of a statement being "true in a given
axiomatic system" when they mean that it is provable in that system.
While mostly harmless, this terminology promotes needless confusion.
For example, it sometimes prompts them to contradict the simple
observation that there are theories with false axioms.
.

Relevant Pages