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

[0001 １３２人目の素数さん 2024/03/09(土) 10:59:24.22 ID:eebJDyH6]

排中律とか使わないやつ

[0002 １３２人目の素数さん 2024/04/15(月) 23:30:44.20 ID:9mxXy8Jq]

ある程度自明でない数学の体系を作るのに最小の公理の数はいくついるか。
あるいはいくつの公理を設けたなら、自明では無い定理が数多く得られるか。