Detta allt är axiomatisktför