Three criteria for truth

Tags: Constructive mathematics, Linear mathematics, Foundations of mathematics