If a proposition is an axiom, it is a true reachable proposition.
Jika suatu proposisi adalah sebuah aksioma, maka ia adalah suatu proposisi benar terjangkau.