Kind of, except a large language model like ChatGPT can't really think logically or decide axioms in the first place. It can mimic logical thought given enough examples but it's prone to strange errors