Chỉ những hệ thống có thể chứng minh mới tồn tại.