1920

American logician Emil Post invents the formal system that will become known as “Post’s System.”