logiko。

nur vera estas nenio。

nur falsa estas nenio。

ambau estas tuta。

直観主義論理+二重否定除去。