構成的数学とかやってる奴いる？

構成的数学とかやってる奴いる？ at MATH

1:１３２人目の素数さん
24/03/09 10:59:24.22 eebJDyH6.net
排中律とか使わないやつ

2:１３２人目の素数さん
24/04/15 23:30:44.20 9mxXy8Jq.net
ある程度自明でない数学の体系を作るのに最小の公理の数はいくついるか。
あるいはいくつの公理を設けたなら、自明では無い定理が数多く得られるか。