Tags backprop1 boolean logic1 fuzzy sets1 Gödel incompleteness1 mathematical reasoning1 python1 rough sets1 set theory1