All Vatican anarchists are honest and dishonest at the same time if there is no anarchists in Vatican! How to resolve this contradiction?
How does predicate logic handle contradictory statements about something that does not exist?