反基础公理的逻辑研究