TheAncientGeek comments on Request for Steelman: Non-correspondence concepts of truth

[TheAncientGeek]

In the PKD sense, they are not, because finitists and constructivists adopt different axioms able get different results,