McLarty, Colin (2020). "The large structures of Grothendieck founded on finite order arithmetic". Bulletin of Symbolic Logic. 16 (2). Cambridge University Press: 296–325. arXiv:1102.1773. doi:10.1017/S1755020319000340. S2CID118395028.
books.google.com
However, both theorems and scientific law are the result of investigations. See Heath 1897, p. clxxxii, Introduction, The terminology of Archimedes: "theorem (θεὼρνμα) from θεωρεἳν to investigate" Heath, Sir Thomas Little (1897). The works of Archimedes. Dover. Retrieved 2009-11-15.
McLarty, Colin (2010). "What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory". The Review of Symbolic Logic. 13 (3). Cambridge University Press: 359–377. doi:10.2178/bsl/1286284558. S2CID13475845.
McLarty, Colin (2020). "The large structures of Grothendieck founded on finite order arithmetic". Bulletin of Symbolic Logic. 16 (2). Cambridge University Press: 296–325. arXiv:1102.1773. doi:10.1017/S1755020319000340. S2CID118395028.
Darmon, Henri; Diamond, Fred; Taylor, Richard (2007-09-09). "Fermat's Last Theorem"(PDF). McGill University – Department of Mathematics and Statistics. Retrieved 2019-11-01.
McLarty, Colin (2010). "What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory". The Review of Symbolic Logic. 13 (3). Cambridge University Press: 359–377. doi:10.2178/bsl/1286284558. S2CID13475845.
McLarty, Colin (2020). "The large structures of Grothendieck founded on finite order arithmetic". Bulletin of Symbolic Logic. 16 (2). Cambridge University Press: 296–325. arXiv:1102.1773. doi:10.1017/S1755020319000340. S2CID118395028.
stanford.edu
plato.stanford.edu
Markie, Peter (2017), "Rationalism vs. Empiricism", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Fall 2017 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-11-02