直観主義数学 の紹介

直観主義数学についての少しの考察と簡単な例です

https://ulprojectmail.blogspot.com/2022/10/math.html直観主義数学