2020-01-26 今日の数学 20200126 日記 今日は, 有限の立場での自然数論で, 素数冪について, 定式化をしていました. 素因数分解の存在と一意性を, 有限の立場での自然数論で, 定式化をするのが, 当面の目的です. 中期的な目標は, 第一不完全性定理の, 厳密な定式化です. が, きりのいいところで, 別のジャンルの数学に行ったりします.