BoiledCabbage: You are on the right track! [Dedekind 1888] started out on the correct path by defining natural numbers up to a unique isomorphism. Unfortuna

BoiledCabbage: You are on the right track! [Dedekind 1888] started out on the correct path by defining natural numbers up to a unique isomorphism. Unfortunately, there was long detour through 1st-order logic :-( Powerful foundations are now urgently required to prevent successful cyberattacks. See the following: https://www.youtube.com/watch?v=AJP1VL7shiI https://www.youtube.com/watch?v=AJP1VL7shiI