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.