>>780
知らんけど、入門書とかでは初学者にとって厄介な定理は避けられがち
集合論でもZornの補題は結果だけ載せてる本もちらほらある