Logical systems extending first-order logic, such as second-order logic and type theory, are also undecidable.
Логички системи који проширују логику првог реда, као што су логика другог реда и теорија типова, су такође неодлучиви.