Chtělo by to ovšem dokázat větu: "Lehnem pod stůl". Tato není komplementární k tvrzení "půjdem". Dále je třeba si uvědomit, že Russelův důkaz nemožnosti bezrozpornosti axiomatického systému platí, takže vlastně dokážeme prd. Soudruh Hilbert se obrací v hrobě
