[(KROT)]

В силу неполноты формальных систем существуют утверждения, которые истинны, но недоказуемы

Любовь относиться к этой категории - истинна, но недоказуема

Есть еще гипотеза, что любовь противоречива, но это нельзя рассмотреть формальными средствами