2008/11/14 by Rosinger, Elemer E#FOS: Mathematics #General Mathematics (math.GM)
paper · doi:10.48550/arxiv.0811.2405
A method is presented for using the consistent part of inconsistent axiomatic systems.