representabilidade, completude, fórmulas bem formadas,

axiomas, sistemas L, L isto, N, N isto, K, K isto.

... até Julho, tudo isto tem de fazer sentido.