Paraconsistent Foundations of Mathematics

在英语世界中，澳大利亚已经是最突出的次协调研究中心，以过去几十年在这里提出的激进新思想的发展而闻名。该计划已准备好进入下一阶段，为逻辑，哲学和数学做出重要而持久的贡献。澳大利亚科学院将以令人印象深刻的新数学以及对真理和证明的创新哲学解释获得国际认可。

In the English-speaking world, Australia is already the most prominent centre for paraconsistent research, known for development of radical new ideas advanced here in the last few decades. The program is ready to mature into its next phase, making important and lasting contributions to logic, philosophy, and mathematics. The Australian academy will derive international recognition for impressive new mathematics, and innovative philosophical explanations of truth and proof.