| Results in metalogic consist of such things as formal proofs demonstrating the consistency, completeness, and decidability of particular formal systems. | Результаты металогики в значительной степени состоят из формальных доказательств, демонстрирующих непротиворечивость, полноту и разрешимость конкретных формальных систем. |
| Decidability: there should be an algorithm for deciding the truth or falsity of any mathematical statement. | Алгоритмическая разрешимость: существует алгоритм для определения истинности или ложности любого математического утверждения. |