Alexander Gietelink Oldenziel comments on Science and Math

[Alexander Gietelink Oldenziel]

And actually Barbara, Celarent, Darii, Ferio contain hints of phenomena not completely captured in first-order logic!