Alleen bewijsbare systemen zullen overleven.