Incompleteness theorems

1. redirect Gödel's incompleteness theorems

{{rcatsh|

{{r from short}}

}}