Article:Math.SG/0201059/Title
From Knot Atlas
Jump to navigationJump to search
Beyond Goedel : Simply consistent constructive systems of first order Peano's Arithmetic that do not yield undecidable propositions by Goedel's reasoning
