Wemm mä s gnauer nimmt git s äigentlig zwäi Unvollständigkäitssetz. Dr Ersti Unvollständigkäitssatz sait, ass es in widerspruchsfreie Süsteem, wo gnueg stark si, immer Ussaage git, wo mä nid cha bewiise. Dr Zwäiti Unvollständigkäitssatz säit, ass widerspruchsfreiji Süsteem, wo gnueg stark si, iiri äigeni Widerspruchsfreihäit nit chönne bewiise.