מבחינה לוגית אפשר להוכיח שמשהו לא קיים ?

כן, למשל קוסמים לא יכולים להתקיים בגלל חוקי הפיזיקה.
אבל אלוקים אי אפשר להפריך אותו בגלל שהוא מעל חוקי הפיזיקה.

לדעתי לא

מבחינה לוגית? מן הסתם.
אם אני לוקח חוק מסוים כאמת כל דבר שעומד בסתירה לחוק הזה לא קיים.
משפט: כל העורבים ירוקים. הוכחתי שלא קיים עורב סגול.

משפט: רק הומלסים מטפסים
ככה הוכחתי שאנשים עם בית לא מטפסים