Eis os três primeiros indemonstráveis
da lógica estóica de Crisipo (277-204),
cf. expostos por Gilbert Hottois:

1º ) Primeiro Indemonstrável:
«Se o primeiro, então o segundo;
ora o primeiro, logo o segundo.»
= modus (ponendo) ponens:
[(p>q)•p]>q

2º) Segundo Indemonstrável:
«Se o primeiro, o segundo;
ora não o segundo, logo não o primeiro.»
= modus (tollendo) tollens:
[(p>q)•-q]>-p

3º) Terceiro Indemonstrável:
«Não (o primeiro e o segundo);
ora o primeiro, logo não o segundo.»
= modus ponendo-tollens:
[-(p•q)•p]>-p