negationless mathematics

Лог. математика без отрицания