Математическая Логика: Освобождение от Иррациональности