Kabbalist
searching PlanetScale…
- 1.▲
- 2.▲
- 3.▲
- 4.▲
- 5.▲
- 6.▲
5 ms·
- 1.▲
- 2.▲
- 3.▲
- 4.▲
- 5.▲
- 6.▲
- 7.▲
- 8.▲
- 9.▲
- 10.▲
- 11.▲
Yes. You’re right. I should have written it like this:
Let A,B,C, and K be elements of the Natural Numbers.
1. ∃K(K≤1∧∃A,B,C(A^K+B^K=C^K ))
2. ∃K(∃A,B,C(A^K+B^K=C^K )∧K≤1)
3. ∃K(∃A,B,C(A^K+B^K=C^K )→K≤1)
4. ∃K(K>1→∀A,B,C(A^K+B^K≠C^K )) - 12.▲