![@chrisamaphone@hci.social avatar](https://kbin.zerstoererbande.de/index.php/media/cache/resolve/avatar_thumb/ad/46/ad46db704a0583c7d400115b28e858829e442dd31942bd463b60965929204031.jpg)
![@chrisamaphone@hci.social titelbild](https://kbin.zerstoererbande.de/index.php/media/cache/resolve/user_cover/f2/da/f2da75273f51244b231eb29af1d8a50c96849e420f19a4f0f70aa260170157e8.jpg)
![@chrisamaphone@hci.social avatar](https://kbin.zerstoererbande.de/index.php/media/cache/resolve/avatar_thumb/ad/46/ad46db704a0583c7d400115b28e858829e442dd31942bd463b60965929204031.jpg)
Bewildered logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
Dieses Profil is von einem föderierten Server und möglicherweise unvollständig. Auf der Original-Instanz anzeigen
Bewildered logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
Dieses Profil is von einem föderierten Server und möglicherweise unvollständig. Auf der Original-Instanz anzeigen