Порой кажется, что математическая логика и та более гибкая и поливариантная, чем мышление некоторых людей.
Но матлогика-то - для мира машин. Не людей.