Keyword:Kochen and Specker’s theorem

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