Sense #1 contexts

… сформулируем его: если существует доказательство того, что теорему Ферма нельзя опровергнуть, то теорему Ферма можно доказать . Итак, если (б), то теорему Ферма можно доказать, что …

… и доказательство того, что теорема Ферма верна, т. е., попросту, доказательство теоремы Ферма. Ввиду важности этого следствия ещё раз сформулируем его: если существует доказательство …

… имеем такое Следствие леммы 2. Если существует доказательство того, что нельзя опровергнуть теорему Ферма, то существует и доказательство того, что теорема Ферма верна, т. е …

… Ферма нельзя опровергнуть, то теорему Ферма можно доказать . Итак, если (б), то теорему Ферма можно доказать, что и представляет собою обещанное отрицание утверждения (а 1 ) …

… , на z. Получим: <формула> (2) Мы уже указывали, что существует связь между теоремой Пифагора и Великой теоремой Ферма. Теореме Пифагора можно придать вид: <формула> (3) …