About 20 days ago, I challenged Smears to a $50 bet that I would have a complete deductive system within 10 days. He didn’t take me up on the offer and wrote instead:
I now post my system anyway. It is a complete system in the sense that all 165 words in the system are defined with a symbolic notation which a computer can check for contradiction with the exception of 15 words which I leave undefined and 20 words which are defined circularly. It is not a justified system, that would take about 500,000 words and about 10 to 20 years of research.
Since the system is about 7000 words long I have posted it in the Academy which you can read here.