I commented in another answer but you can consult https://etc.cuit.columbia.edu/news/basics-language-modeling-transformers-gpt https://etc.cuit.columbia.edu/new

I commented in another answer but you can consult https://etc.cuit.columbia.edu/news/basics-language-modeling-transformers-gpt https://etc.cuit.columbia.edu/news/basics-language-modeling-... Some training forms include entailment : “if A then B”. I hope this is first order logic which does have an axiom system :)