Mathematical intuition vs. mathematical monsters
conservative extension of Peano arithmetic
unexpected consequences of intuitive notions
scientific article; zbMATH DE number 1568526