A dynamical system which must be stable whose stability cannot be proved

John Foy
2004 Theoretical Computer Science  
Building on a result of Blondel, we show that there exists a piecewise a ne dynamical system whose stability (local asymptotic stability, global asymptotic stability and global convergence) is equivalent to the correctness of ZF set theory-a property which must be assumed to hold but which cannot be proved within ZF.
doi:10.1016/j.tcs.2004.05.001 fatcat:nf4awspykvdkbp3fwz7kmzzgpy