Why Cannot Large Language Models Ever Make True Correct Reasoning? | Synapse