That is damn near triggering . Why ? Those who aren ' t familiar with a QWERTY layout are few and far between nowadays . The only time where it ' s even remotely acceptable is those damn touchscreen jukeboxes , and even then that ' s only because they take millennia to register any input . <| sep |> That ' s a much more reasonable objection , sorry I got annoyed and accused you , but it seemed like you were just brushing off the conclusion as false without considering he argument . As far as godel goes , it doesn ' t actually affect the proof if you are a verificationist or empiricist , because if you are , then you must accept a fictionalistish attitude towards mathematics . If you are not , then it becomes questionable . There is a lot of debate about whether godel really nullifies the paradox . As for your other point , whats the problem with modal logic ?