Working in ZFC, one can prove that there exists no integer x, such that 6<x<7. This also works for most definitions of the integers.