In 1950 Robinson proved that an essentially undecidable theory need not have an infinite number of axioms by coming up with a counterexample: Robinson arithmetic Q.
Robinson Crusoe | Edward G. Robinson | Jackie Robinson | Mary Robinson | Smokey Robinson | Tom Robinson | Tony Robinson | Sugar Ray Robinson | Earl Robinson | Kim Stanley Robinson | Robinson Jeffers | Robinson | Joan Robinson | Hercules Robinson, 1st Baron Rosmead | Ged Robinson | Emotional Arithmetic | Constable & Robinson | Expedition Robinson | Benjamin Lincoln Robinson | Arithmetic | Paul Robinson | Nate Robinson | Gene Robinson | Bill Robinson | Brooks Robinson | Arithmetic mean | Theodore Robinson | Stanford Robinson | Sharon Robinson | Reginald Robinson |