Three criteria for truthLast updated Feb 3, 2024Tags: Constructive mathematics, Linear mathematics, Foundations of mathematics
