void = initial object = in [[SET Category]], empty set = in logic, proving "false" on deniz

void = initial object = in [[SET Category]], empty set = in logic, proving "false" on denizhttps://denizaydemir.com/graph/functional-notes/6a4d4944-95c6-4fef-951b-f008eb4065ff/6a4d4944-594a-4ddb-bba1-e632fdc3b8e1/6a4d4944-09a3-4c06-aa99-092c52d0f774/6a4d4944-6688-4e3b-9ceb-654da567bff2/Recent content in void = initial object = in [[SET Category]], empty set = in logic, proving "false" on denizHugoen-us