Liste des Groupes | Revenir à s logic |
On 01.06.2025 13:58, Mikko wrote:That contradicts your above "You cannot understand it". ThereforeOn 2025-05-31 13:47:51 +0000, WM said:There is no further understanding required.
On 31.05.2025 12:11, Mikko wrote:No proof of anything above. Besides, nothing that requires anyOn 2025-05-30 14:46:55 +0000, WM said:
I have above. You cannot understand it. That is a different thing.You have not shown that proof, either.Proof that every definable natural number has more successors than predecessors.{1, 2, 3, ..., n, n+1} has infinitely many (ℵo) successors is a consequence of {1, 2, 3, ..., n} has infinitely many (ℵo) successors, and ℵo - 1 = ℵo.Still no proof.
understanding beyond ordinary proof checking cannot be a proof.
Les messages affichés proviennent d'usenet.