Keyword:Kochen and Specker’s theorem

Publications
Fermat’s Last Theorem Proved in Hilbert Arithmetic. I. from the Proof by Induction to the Viewpoint of Hilbert Arithmetic Vasil Penchev EasyChair Preprint 7525