5.5562 Por motivos puramente lógicos sabemos que deve haver proposições elementares; dêsse modo, isto deve ser conhecido por todo aquêle que compreende as proposições na sua forma não-analisada.