Three criteria for truthLast updated Oct 4, 2022Tags: Constructive mathematics, Linear mathematics, Foundations of mathematics