Self-verifying theories

From Free net encyclopedia