互逆主义数学哲学与计算

• Mutually-inversistic Philosophy of Mathematics and Computing