Return to Article Details Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity Download Download PDF