5.45

S’il y a des signes logiques primitifs, une logique correcte doit rendre claire leur position relative, et justifier leur existence. La construction de la logique à partir de ses signes primitifs doit être rendue claire.