Sense #1 contexts
… сформулируем его: если существует доказательство того, что теорему Ферма нельзя опровергнуть, то теорему Ферма можно доказать . Итак, если (б), то теорему Ферма можно доказать, что …
… и доказательство того, что теорема Ферма верна, т. е., попросту, доказательство теоремы Ферма. Ввиду важности этого следствия ещё раз сформулируем его: если существует доказательство …
… имеем такое Следствие леммы 2. Если существует доказательство того, что нельзя опровергнуть теорему Ферма, то существует и доказательство того, что теорема Ферма верна, т. е …
… Ферма нельзя опровергнуть, то теорему Ферма можно доказать . Итак, если (б), то теорему Ферма можно доказать, что и представляет собою обещанное отрицание утверждения (а 1 ) …
… , на z. Получим: <формула> (2) Мы уже указывали, что существует связь между теоремой Пифагора и Великой теоремой Ферма. Теореме Пифагора можно придать вид: <формула> (3) …