今日は, 有限の立場での自然数論で, 素数冪について, 定式化をしていました. 素因数分解の存在と一意性を, 有限の立場での自然数論で, 定式化をするのが, 当面の目的です. 中期的な目標は, 第一不完全性定理の, 厳密な定式化です. が, きりのいいところで, …

今日、認印を発注しました。 私が今まで使っていた認印は、中学校の卒業記念でもらったもので、 もう、朱肉の乗りも悪くなってきていました。 今の仕事で、時々、認印を使うので、 いい加減、買い換えないと、不便で仕方がないと思っていたところです。