有一个例子,在数理逻辑中为真,而在现实世界中为假.请告诉我这是个什么概念?