1. 𝑧𝑧 ? 𝑃𝑃 ? or vice versa, but keeping both operations of addition and exponentiation just as this is necessary for MMT to be proved in the discussed case. Properly, FLT is to be proved for that case (𝑦𝑦 ? 𝑃𝑃 + ; 𝑧𝑧 ? 𝑃𝑃 ? ) analogically to the initial proof of FLT only to Hamilton arithmetic meaning in fact Peano arithmetic as in Appendix I. Then and similarly, any solution in P is a solution in the case "𝑦𝑦 ? 𝑃𝑃 + ; 𝑧𝑧 ? 𝑃𝑃 ? " (or vice versa), and modus tollens implies FLT in the general case;Annals of the Japan Association for Philosophy of Science,2009
2. G�del's system ? revisited;M S Alves;Theoretical Computer Science,2010
3. Theories of Truth without Standard Models and Yablo's Sequences;? ? Barrio;Studia Logica,2010
4. G�del and physics;J D Barrow;Kurt G�del and the Foundations of Mathematics: Horizons of Truth,2011