The Proof of an External World — philosophical article by G. E. Moore