Besonderhede van voorbeeld: -9218058752369540082

Greek

Μια απόδειξη είναι πλήρης αν κάθε γραμμή προκύπτει από τα προηγούμενα με την ορθή εφαρμογή του κανόνα μετασχηματισμού.

Chinese

一個推导稱為完备的,若所有行都是通过正确的应用一个规则而从前面的行得出的。