4次元模式図から導出の公理を真としたら積分の公理が偽になるから数板で解決頼む
https://rio2016.5ch.net/test/read.cgi/math/1734949328/