kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

今日の数学 20200126

今日は, 有限の立場での自然数論で, 素数冪について, 定式化をしていました. 

 

素因数分解の存在と一意性を, 有限の立場での自然数論で, 

 

定式化をするのが, 当面の目的です. 

 

中期的な目標は, 第一不完全性定理の, 厳密な定式化です.

 

が,  きりのいいところで, 別のジャンルの数学に行ったりします.