選択公理あたりまでは
「普通」で解釈できるが
V=Lあたりはモウムリよね
「普通」であるべきV=Lが
正統になってない